@article{DBLP:journals/jsyml/MarxM99,
  author       = {Maarten Marx and
                  Szabolcs Mikul{\'{a}}s},
  title        = {Decidability of Cylindric Set Algebras of Dimension Two and First-Order
                  Logic with Two Variables},
  journal      = {J. Symb. Log.},
  volume       = {64},
  number       = {4},
  pages        = {1563--1572},
  year         = {1999},
  url          = {https://doi.org/10.2307/2586797},
  doi          = {10.2307/2586797},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/MarxM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"wSnTJzHZhW7pSSKkp","bibbaseid":"marx-mikuls-decidabilityofcylindricsetalgebrasofdimensiontwoandfirstorderlogicwithtwovariables-1999","author_short":["Marx, M.","Mikulás, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Maarten"],"propositions":[],"lastnames":["Marx"],"suffixes":[]},{"firstnames":["Szabolcs"],"propositions":[],"lastnames":["Mikulás"],"suffixes":[]}],"title":"Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables","journal":"J. Symb. Log.","volume":"64","number":"4","pages":"1563–1572","year":"1999","url":"https://doi.org/10.2307/2586797","doi":"10.2307/2586797","timestamp":"Sat, 19 Oct 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/jsyml/MarxM99.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jsyml/MarxM99,\n author = {Maarten Marx and\n Szabolcs Mikul{\\'{a}}s},\n title = {Decidability of Cylindric Set Algebras of Dimension Two and First-Order\n Logic with Two Variables},\n journal = {J. Symb. Log.},\n volume = {64},\n number = {4},\n pages = {1563--1572},\n year = {1999},\n url = {https://doi.org/10.2307/2586797},\n doi = {10.2307/2586797},\n timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/jsyml/MarxM99.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Marx, M.","Mikulás, S."],"key":"DBLP:journals/jsyml/MarxM99","id":"DBLP:journals/jsyml/MarxM99","bibbaseid":"marx-mikuls-decidabilityofcylindricsetalgebrasofdimensiontwoandfirstorderlogicwithtwovariables-1999","role":"author","urls":{"Paper":"https://doi.org/10.2307/2586797"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/m/MaartenMarx.bib","dataSources":["aKX2T7ef3GscsArHw"],"keywords":[],"search_terms":["decidability","cylindric","set","algebras","dimension","two","first","order","logic","two","variables","marx","mikulás"],"title":"Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables","year":1999}