Marc Ayel A Conceptual Model for Consistency of Knowledge Bases. 75-82 1988 AIMSA db/conf/aimsa/aimsa1988.html#Ayel88