Daniel J. Clancy, Benjamin Kuipers: Static and Dynamic Abstraction Solves the Problem of Chatter in Qualitative Simulation. AAAI/IAAI 1997: 125-131