Denis White "Resolution theorem prover: Robinson's resolution principle in an interactive theorem proving program, in ALGOL and ASLIP." (with Larry Folts and guided by Professor Larry Travis, Computer Science, Univ. of Wisconsin) 1969

Languages mentioned

• ASLIP {1967} Symmetric List Processor