Small Substructures and Decidability Issues for First-Order Logic with Two Variables.

Emanuel Kieronski, Martin Otto

Browse the full LICS paper archive.