Jon Doyle A Truth Maintenance System. 231-272 1979 12 Artif. Intell. 3 db/journals/ai/ai12.html#Doyle79