An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation.

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

Browse the full CSL paper archive.