Johan de Kleer A Perspective on Assumption-Based Truth Maintenance. 63-67 1993 59 Artif. Intell. 1-2 db/journals/ai/ai59.html#Kleer93