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

Alain Beauvieux Philippe Dague A General Consistency (Checking and Restoring) Engine for Knowledge Bases. 77-82 1990 ECAI db/conf/ecai/ecai90.html#BeauvieuxD90