Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting.

Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev

Browse the full LICS paper archive.