Transforming Matings into Natural Deduction Proofs

Peter B. Andrews. Transforming Matings into Natural Deduction Proofs. In Wolfgang Bibel, Robert A. Kowalski, editors, 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings. Volume 87 of Lecture Notes in Computer Science, pages 281-292, Springer, 1980.

Abstract

Abstract is missing.