Maurice Bruynooghe Luís Moniz Pereira Deduction Revision by Intelligent Backtracking. 194-215 1984 Implementations of Prolog db/books/collections/Campbell84.html#BruynoogheP84