Truth maintenance (1990)

by D McAllester
Venue:In Proceedings of AAAI'90