Truth maintenance (1990)

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