Linear Resolution with Selection Function (1971)

by Robert A Kowalski, Donald Kuehner
Venue:Artificial Intelligence