TY  - RPRT
TI  - Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
AU  - Iris van der Giessen
AU  - Raheleh Jalali
AU  - Roman Kuznets
PY  - 2023
DO  - 10.1007/978-3-031-43513-3_15
UR  - https://arxiv.org/abs/2307.11727
ID  - 2307.11727
ER  -