Linear Resolution with Selection Function. - Robert A. Kowalski; Donald Kuehner (Artif. Intell., 1971)