%0 Journal Article %1 journals/tocl/GradelHJP03 %A Grädel, Erich %A Halpern, Joseph Y. %A Jagadeesan, Radha %A Piperno, Adolfo %D 2003 %J ACM Trans. Comput. Log. %K dblp %N 3 %P 295 %T LICS 2001 special issue. %U http://dblp.uni-trier.de/db/journals/tocl/tocl4.html#GradelHJP03 %V 4

@article{journals/tocl/GradelHJP03, added-at = {2018-11-06T00:00:00.000+0100}, author = {Grädel, Erich and Halpern, Joseph Y. and Jagadeesan, Radha and Piperno, Adolfo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b8b9b23e63ed65ce382277ba5eb3e730/dblp}, ee = {https://doi.org/10.1145/772062.772063}, interhash = {9da528fb759ab957ab50488501766ec5}, intrahash = {b8b9b23e63ed65ce382277ba5eb3e730}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 3, pages = 295, timestamp = {2019-09-27T06:33:48.000+0200}, title = {LICS 2001 special issue.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl4.html#GradelHJP03}, volume = 4, year = 2003 }