Stan Matwin, Tomasz Pietrzykowski. Intelligent Backtracking for Automated Deduction in FOL. In Luís Moniz Pereira, António Porto, Luís Monteiro, Miguel Figueiras, editors, Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings. pages 186-191, Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, 1983. [doi]
Abstract is missing.