Analysing Logic Programs Using `Prop'-ositional Logic Programs and a Magic Wand.

Michael Codish Bart Demoen Analysing Logic Programs Using `Prop'-ositional Logic Programs and a Magic Wand. 114-129 1993 ILPS db/conf/slp/slp93.html#CodishD93