A truth-maintenance system (1979)

by J Doyle
Venue:Arti cial Intelligence