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

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

CSL, 2018.

@inproceedings{CSL-2018-KrebsLPS, author = "Andreas Krebs and Kamal Lodaya and Paritosh K. Pandya and Howard Straubing", booktitle = "{Proceedings of the 27th EACSL Annual Conference on Computer Science Logic}", doi = "10.4230/LIPIcs.CSL.2018.28", isbn = "978-3-95977-088-0", pages = "17", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation}", year = 2018, }