Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{kieronski:LIPIcs:2019:10960, author = {Emanuel Kieronski}, title = {{OneDimensional Guarded Fragments}}, booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)}, pages = {16:116:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771177}, ISSN = {18688969}, year = {2019}, volume = {138}, editor = {Peter Rossmanith and Pinar Heggernes and JoostPieter Katoen}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10960}, URN = {urn:nbn:de:0030drops109608}, doi = {10.4230/LIPIcs.MFCS.2019.16}, annote = {Keywords: guarded fragment, twovariable logic, satisfiability, finite model property} }
Keywords:  guarded fragment, twovariable logic, satisfiability, finite model property  
Collection:  44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)  
Issue Date:  2019  
Date of publication:  20.08.2019 