TY  - RPRT
TI  - Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments
AU  - Jean Christoph Jung
AU  - Frank Wolter
PY  - 2021
UR  - https://arxiv.org/abs/2007.01597
ID  - 2007.01597
ER  -