Title: A beginner's guide to belief revision and truth maintenance systems
Subjects: Truth maintenance systems, Artificial intelligence