TY  - RPRT
TI  - Conservative Extensions in Guarded and Two-Variable Fragments
AU  - Jean Christoph Jung
AU  - Carsten Lutz
AU  - Mauricio Martel
AU  - Thomas Schneider
AU  - Frank Wolter
PY  - 2017
UR  - https://arxiv.org/abs/1705.10115
ID  - 1705.10115
ER  -