A truth maintenance system (1979)

by John Doyle
Venue:Artificial Intelligence