A Comparative Study of Several Proof Procedures

Wolfgang Bibel. A Comparative Study of Several Proof Procedures. Artificial Intelligence, 18(3):269-293, 1982.

Abstract

Abstract is missing.