%0 Journal Article %1 journals/jlp/CodishD95 %A Codish, Michael %A Demoen, Bart %D 1995 %J J. Log. Program. %K dblp %N 3 %P 249-274 %T Analyzing Logic Programs Using "PROP"-ositional Logic Programs and a Magic Wand. %U http://dblp.uni-trier.de/db/journals/jlp/jlp25.html#CodishD95 %V 25

@article{journals/jlp/CodishD95, added-at = {2021-02-17T00:00:00.000+0100}, author = {Codish, Michael and Demoen, Bart}, biburl = {https://www.bibsonomy.org/bibtex/204a5f1f08726c18cae706de3172714e5/dblp}, ee = {https://doi.org/10.1016/0743-1066(95)00064-X}, interhash = {e5b35242a22fd67d5259e25e02fcfd5a}, intrahash = {04a5f1f08726c18cae706de3172714e5}, journal = {J. Log. Program.}, keywords = {dblp}, number = 3, pages = {249-274}, timestamp = {2024-04-08T10:50:37.000+0200}, title = {Analyzing Logic Programs Using "PROP"-ositional Logic Programs and a Magic Wand.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp25.html#CodishD95}, volume = 25, year = 1995 }