Kuipers, Benjamin. Qualitative reasoning: modeling and simulation with incomplete knowledge. MIT press, 1994.