The qualitative process engine: A study in assumption-based truth maintenance (1987)

by Kenneth D Forbus
Venue:In Qualitative Reasoning Workshop Abstracts. Qualitative Reasoning Group, University of Illinois at Urbana-Champaign