TY  - RPRT
TI  - Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
AU  - Roman Kuznets
PY  - 2016
DO  - 10.1007/978-3-319-48758-8_21
UR  - https://arxiv.org/abs/1601.05656
ID  - 1601.05656
ER  -