A Resolution Calculus Extende by Equivalence

Jürgen Müller, Rolf Socher-Ambrosius. A Resolution Calculus Extende by Equivalence. In Dieter Metzing, editor, GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld, 18.-22. September 1989, Proceedings. Volume 216 of Informatik-Fachberichte, pages 102-106, Springer, 1989.

Abstract

Abstract is missing.