%0 Journal Article %1 journals/jsyml/MarxM99 %A Marx, Maarten %A Mikulás, Szabolcs %D 1999 %J J. Symb. Log. %K dblp %N 4 %P 1563-1572 %T Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml64.html#MarxM99 %V 64

@article{journals/jsyml/MarxM99, added-at = {2019-10-19T00:00:00.000+0200}, author = {Marx, Maarten and Mikulás, Szabolcs}, biburl = {https://www.bibsonomy.org/bibtex/25d51a12ecf3119d0da94a8e525d52873/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183745938}, interhash = {5f222d949e0ded92678e7b6abdb1eb7e}, intrahash = {5d51a12ecf3119d0da94a8e525d52873}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 4, pages = {1563-1572}, timestamp = {2019-10-22T11:51:46.000+0200}, title = {Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml64.html#MarxM99}, volume = 64, year = 1999 }