Darlington, J. L., "Machine Methods for Proving Logical Arguments Expressed in English", Mechanical Translation, Vol. 8, Nos. 3 and 4 (June, Oct., 1965), pp. 41-67.

Languages mentioned

• COMIT {1957} String-handling and pattern-matching language