Jacques Cohen, Ann Rubin. An interactive system for proving theorems in the predicate calculus. In Stanley R. Petrick, Jean E. Sammet, Robert G. Tobey, Joel Moses, editors, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971. pages 268-280, ACM, 1971. [doi]
Abstract is missing.