Deduction Revision by Intelligent Backtracking

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

Authors

Maurice Bruynooghe

This author has not been identified. It may be one of the following persons: Look up 'Maurice Bruynooghe' in Google

Luís Moniz Pereira

This author has not been identified. Look up 'Luís Moniz Pereira' in Google