A Truth Maintenance System (1986)

by J Doyle
Venue:Artificial Intelligence