Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments.

Jean Christoph Jung, Frank Wolter

Browse the full LICS paper archive.