Equivalence of Propositional Prolog Programs

Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen. Equivalence of Propositional Prolog Programs. Journal of Automated Reasoning, 6(3):319-335, 1990.

No reviews for this publication, yet.