Foundations of assumption-based truth maintenance systems: Preliminary report (1987)

by R Reiter, J de Kleer
Venue:In Proceedings of AAAI, 183--188