Title: Reason maintenance systems and their applications
Subjects: Reasoning, Artificial intelligence