pdfformat: 

@InProceedings{krebs_et_al:LIPIcs:2018:9695, author = {Andreas Krebs and Kamal Lodaya and Paritosh K. Pandya and Howard Straubing}, title = {{An Algebraic Decision Procedure for TwoVariable Logic with a Between Relation}}, booktitle = {27th EACSL Annual Conference on Computer Science Logic (CSL 2018)}, pages = {28:128:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770880}, ISSN = {18688969}, year = {2018}, volume = {119}, editor = {Dan Ghica and Achim Jung}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9695}, URN = {urn:nbn:de:0030drops96953}, doi = {10.4230/LIPIcs.CSL.2018.28}, annote = {Keywords: twovariable logic, finite model theory, algebraic automata theory} }
Keywords:  twovariable logic, finite model theory, algebraic automata theory  
Seminar:  27th EACSL Annual Conference on Computer Science Logic (CSL 2018)  
Issue date:  2018  
Date of publication:  29.08.2018 