A Truth Maintenance System (1979)

by Jon Doyle
Venue:Artificial Intelligence