A General Consistency (Checking and Restoring) Engine for Knowledge Bases.

Alain Beauvieux, Philippe Dague

Browse the full ECAI paper archive.