Efficiency of Production Systems When Coupled with an Assumption Based Truth Maintenance System. - Geneviéve Morgue; Thomas Chehire (AAAI, 1991)