%0 Journal Article %1 journals/jolli/Marx99 %A Marx, Maarten %D 1999 %J J. Log. Lang. Inf. %K dblp %N 4 %P 478-481 %T The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. %U http://dblp.uni-trier.de/db/journals/jolli/jolli8.html#Marx99 %V 8

@article{journals/jolli/Marx99, added-at = {2020-09-17T00:00:00.000+0200}, author = {Marx, Maarten}, biburl = {https://www.bibsonomy.org/bibtex/26dfff1b8f7637737ab5448678dbbd18d/dblp}, ee = {https://doi.org/10.1023/A:1008334715902}, interhash = {7694d69d9eed03b412b8e8c17f9be8d2}, intrahash = {6dfff1b8f7637737ab5448678dbbd18d}, journal = {J. Log. Lang. Inf.}, keywords = {dblp}, number = 4, pages = {478-481}, timestamp = {2020-09-18T11:45:46.000+0200}, title = {The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich.}, url = {http://dblp.uni-trier.de/db/journals/jolli/jolli8.html#Marx99}, volume = 8, year = 1999 }