Ivan Popchev Neli Zlatareva Marion Mircheva A Truth Maintenance Theory: An Alternative Approach. 509-514 1990 ECAI db/conf/ecai/ecai90.html#PopchevZM90