Charles J. Petrie Reason Maintenance in Expert Systems. 54-60 1989 3 KI 2 db/journals/ki/ki3.html#Petrie89