%0 Journal Article %1 journals/jcss/PearceV12 %A Pearce, David %A Valverde, Agustín %D 2012 %J J. Comput. Syst. Sci. %K dblp %N 1 %P 86-104 %T Synonymous theories and knowledge representations in answer set programming. %U http://dblp.uni-trier.de/db/journals/jcss/jcss78.html#PearceV12 %V 78

@article{journals/jcss/PearceV12, added-at = {2021-02-16T00:00:00.000+0100}, author = {Pearce, David and Valverde, Agustín}, biburl = {https://www.bibsonomy.org/bibtex/212bfe0f4cd9a59a6e2bd62ea4c0ea3f8/dblp}, ee = {https://doi.org/10.1016/j.jcss.2011.02.013}, interhash = {05073e273da4528e92c7ee520dc6ab59}, intrahash = {12bfe0f4cd9a59a6e2bd62ea4c0ea3f8}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 1, pages = {86-104}, timestamp = {2024-04-08T19:14:08.000+0200}, title = {Synonymous theories and knowledge representations in answer set programming.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss78.html#PearceV12}, volume = 78, year = 2012 }