Deduction Revision by Intelligent Backtracking

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.