%0 Conference Paper %1 conf/lpnmr/PearceV04 %A Pearce, David %A Valverde, Agustín %B LPNMR %D 2004 %E Lifschitz, Vladimir %E Niemelä, Ilkka %I Springer %K dblp %P 194-206 %T Uniform Equivalence for Equilibrium Logic and Logic Programs. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2004.html#PearceV04 %V 2923 %@ 3-540-20721-X

@inproceedings{conf/lpnmr/PearceV04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Pearce, David and Valverde, Agustín}, biburl = {https://www.bibsonomy.org/bibtex/22eb980db2e684f5b12357b4417299470/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2004}, editor = {Lifschitz, Vladimir and Niemelä, Ilkka}, ee = {https://doi.org/10.1007/978-3-540-24609-1_18}, interhash = {568810d5f07663cfdd488996a1869e87}, intrahash = {2eb980db2e684f5b12357b4417299470}, isbn = {3-540-20721-X}, keywords = {dblp}, pages = {194-206}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:34.000+0200}, title = {Uniform Equivalence for Equilibrium Logic and Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2004.html#PearceV04}, volume = 2923, year = 2004 }