Qualitative reasoning : modeling and simulation with incomplete knowledge /
Kuipers, Benjamin.
Cambridge, Mass. ; London : MIT Press,
c1994.