Marc Ayel Protocols for Consistency Checking in Expert System Knowledge Bases. 220-225 1988 ECAI db/conf/ecai/ecai88.html#Ayel88