Truth maintenance systems : - Martins, Joao P.; Reinfrank, M. (Michael), 1958- (Lecture notes in computer science. Lecture notes in artificial intelligence., 1991)