Two-variable Logic with a Between Relation.

Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing

Browse the full LICS paper archive.