Qualitative reasoning : modeling and simulation with incomplete knowledge - Kuipers, Benjamin (MIT Press, 1994)