Deduction Revision by Intelligent Backtracking

Maurice Bruynooghe, Luís Moniz Pereira. Deduction Revision by Intelligent Backtracking. In Implementations of Prolog. pages 194-215, 1984.