Deduction revision by intelligent backtracking (1984)

by M Bruynooghe, L M Pereira
Venue:in Implementation of PROLOG