Deduction Revision by Intelligent Backtracking (1984)

by M Bruynooghe, L M Pereira
Venue:Implementations of Prolog, Ellis Horwood