Claudette Cayrol Michel Cayrol Olivier Palmade New Techniques for Inference in Assumption-Based Truth Maintenance Systems. 404-407 1993 ICTAI db/conf/ictai/ictai1993.html#CayrolCP93