Conservative Extensions in Guarded and Two-Variable Fragments.

Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter

Browse the full ICALP paper archive.