A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver

Jean Christophe Madre, Olivier Coudert. A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver. In IJCAI. pages 294-299, 1991.

Abstract

Abstract is missing.