Qualitative reasoning: Modeling and simulation with incomplete knowledge (1994)

by B Kuipers