Analyzing Logic Programs Using "<tt>PROP</tt>"-ositional Logic Programs and a Magic Wand.

Michael Codish Bart Demoen Analyzing Logic Programs Using "<tt>PROP</tt>"-ositional Logic Programs and a Magic Wand. 249-274 1995 25 J. Log. Program. 3 db/journals/jlp/jlp25.html#CodishD95