%0 Conference Paper %1 conf/agp/PearceV03 %A Pearce, David %A Valverde, Agustín %B APPIA-GULP-PRODE %D 2003 %E Buccafurri, Francesco %K dblp %P 350-361 %T Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. %U http://dblp.uni-trier.de/db/conf/agp/agp2003.html#PearceV03

@inproceedings{conf/agp/PearceV03, added-at = {2016-02-05T00:00:00.000+0100}, author = {Pearce, David and Valverde, Agustín}, biburl = {https://www.bibsonomy.org/bibtex/2d4f31c9d420a7679edc96265a1f15f05/dblp}, booktitle = {APPIA-GULP-PRODE}, crossref = {conf/agp/2003}, editor = {Buccafurri, Francesco}, interhash = {8756f9816f26f9eb161104853eb596d4}, intrahash = {d4f31c9d420a7679edc96265a1f15f05}, keywords = {dblp}, pages = {350-361}, timestamp = {2016-02-06T11:52:46.000+0100}, title = {Some Typesmof Equivalence for Logic Programs and Equilibrium Logic.}, url = {http://dblp.uni-trier.de/db/conf/agp/agp2003.html#PearceV03}, year = 2003 }