%0 Journal Article %1 journals/apal/QueirozPA05 %A de Queiroz, Ruy J. G. B. %A Poizat, Bruno %A Artëmov, Sergei N. %D 2005 %J Ann. Pure Appl. Log. %K dblp %N 1 %P 1-4 %T WoLLIC'2002. %U http://dblp.uni-trier.de/db/journals/apal/apal134.html#QueirozPA05 %V 134

@article{journals/apal/QueirozPA05, added-at = {2020-02-21T00:00:00.000+0100}, author = {de Queiroz, Ruy J. G. B. and Poizat, Bruno and Artëmov, Sergei N.}, biburl = {https://www.bibsonomy.org/bibtex/2a6ae062e67f82e5be25229e739fb61aa/dblp}, ee = {https://doi.org/10.1016/j.apal.2004.10.015}, interhash = {64976cdd68b442dbf0573d8aeff7b52d}, intrahash = {a6ae062e67f82e5be25229e739fb61aa}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 1, pages = {1-4}, timestamp = {2020-02-22T12:47:40.000+0100}, title = {WoLLIC'2002.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal134.html#QueirozPA05}, volume = 134, year = 2005 }