%0 Journal Article %1 journals/igpl/Mikulas98 %A Mikulás, Szabolcs %D 1998 %J Logic Journal of the IGPL %K dblp %N 2 %P 305-316 %T Taming First-Order Logic. %U http://dblp.uni-trier.de/db/journals/igpl/igpl6.html#Mikulas98 %V 6

@article{journals/igpl/Mikulas98, added-at = {2011-06-29T00:00:00.000+0200}, author = {Mikulás, Szabolcs}, biburl = {https://www.bibsonomy.org/bibtex/2dde222f5ef5842fccce530fe46f1db38/dblp}, ee = {http://dx.doi.org/10.1093/jigpal/6.2.305}, interhash = {3419dbb326521b3cab4ac7c8dbc21b68}, intrahash = {dde222f5ef5842fccce530fe46f1db38}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 2, pages = {305-316}, timestamp = {2011-06-30T11:38:28.000+0200}, title = {Taming First-Order Logic.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl6.html#Mikulas98}, volume = 6, year = 1998 }