Truth Maintenance (1990)

by D A McAllester
Venue:in Proceedings of the National Conference on Artificial Intelligence