New Techniques for Inference in Assumption-Based Truth Maintenance Systems. - Claudette Cayrol; Michel Cayrol; Olivier Palmade (ICTAI, 1993)

A Fixed Point Semantics for the ATMS. - Michel Cayrol; Olivier Palmade; Thomas Schiex (J. Log. Comput., 1993)