Kuipers, B. Qualitative reasoning: Modeling and simulation with incomplete knowledge - Massachusetts MIT Press 1994 - xxix, 418p. - Artificial intelligence . ISBN: 0-262-11190-X