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.

Abstract

Abstract is missing.