Paul Buchheit Belief Maintenance in a Natural Language System. 293-300 1992 ICTAI db/conf/ictai/ictai1992.html#Buchheit92