Search Strategies for Theorem-proving - Kowalski, R (Machine Intelligence, 1969)
Vol. 5,