A Method to Check Knowledge Base Consistency. - Alain Beauvieux (FSTTCS, 1988)

A General Consistency (Checking and Restoring) Engine for Knowledge Bases. - Alain Beauvieux; Philippe Dague (ECAI, 1990)