An assumption-based truth maintenance system (1986)

by J de Kleer
Venue:Artificial Intelligence