Michael Codish, Bart Demoen. Analysing Logic Programs Using Prop -ositional Logic Programs and a Magic Wand. In ILPS. pages 114-129, 1993.
@inproceedings{CodishD93, title = {Analysing Logic Programs Using Prop -ositional Logic Programs and a Magic Wand}, author = {Michael Codish and Bart Demoen}, year = {1993}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/CodishD93}, cites = {0}, citedby = {0}, pages = {114-129}, booktitle = {ILPS}, }