Truth maintenance systems proceedings (Lecture notes in computer science, 1991)