1. An interval propagation and conflict recognition engine for diagnosing continuous dynamic systems;Dague,1990
2. When oscillators stop oscillating;Dague,1991
3. An assumption based truth maintenance system;De Kleer;Artificial Intelligence,1986
4. ACP: Reason Maintenance and Inference Control for Constraint Propagation over Intervals;Hamscher,1991
5. Applications conditions for interval constraint propagation;Hyvönen;11th International Workshop on Expert Systems and their applications,1991