%0 Journal Article %1 journals/tplp/CabalarF07 %A Cabalar, Pedro %A Ferraris, Paolo %D 2007 %J Theory Pract. Log. Program. %K dblp %N 6 %P 745-759 %T Propositional theories are strongly equivalent to logic programs. %U http://dblp.uni-trier.de/db/journals/tplp/tplp7.html#CabalarF07 %V 7

@article{journals/tplp/CabalarF07, added-at = {2020-02-13T00:00:00.000+0100}, author = {Cabalar, Pedro and Ferraris, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/2da905b2911951c5a6d2f7e3f7b0b1732/dblp}, ee = {https://doi.org/10.1017/S1471068407003110}, interhash = {9fd09a8c86412420b31c31a1a0ac3412}, intrahash = {da905b2911951c5a6d2f7e3f7b0b1732}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 6, pages = {745-759}, timestamp = {2020-02-14T11:44:07.000+0100}, title = {Propositional theories are strongly equivalent to logic programs.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp7.html#CabalarF07}, volume = 7, year = 2007 }