Assumption-Based Truth Maintenance Systems Meir Kalech.
Vicki Allan 2010 Looking for students for two NSF funded grants Encourage Taking CS6100 (Spring)
Assumption-Based Truth Maintenance Systems