Title: Truth Maintenance Systems
Subjects: Artificial intelligence