Qualitative reasoning: modeling and simulation with incomplete knowledge - Kuipers, Benjamin. (The MIT press, 1994)
Index.