Ko75 R. Kowalski: A Proof Procedure Using Connection Graphs (1968)

by Methuen &Co, London