Analysing logic programs using \Prop"-ositional logic programs and a magic wand (1993)

by M Codish, B Demoen
Venue:Proceedings of the 1993 International Symposium on Logic Programming