Timothy Cain The DUCTOR: A Theory Revision System for Propositional Domains. 485-489 1991 ML db/conf/icml/ml1991.html#Cain91