A model-based belief revision system (1994)

by T Chou, M Winslette
Venue:Journal of Automated Reasoning