Title: Automatic proofs for theorems on predicate calculus
Subjects: Automatic theorem proving, Predicate calculus, SNOBOL (Computer program language)