Jon Doyle A Truth Maintenance System. 231-272 1979 12 Artif. Intell. 3 db/journals/ai/ai12.html#Doyle79 http://dx.doi.org/10.1016/0004-3702(79)90008-0