Truth Maintenance (1991)

by D McAllester
Venue:In Proceedings of AAAI-90