Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: truth maintenance
RP609
1992 Research Paper
Berendt,B
;
Smaill,AD
Computing Belief Revision