Kenneth D. Forbus Jeffrey M. Usher Vernell Chapman Qualitative Spatial Reasoning about Sketch Maps. 85-92 2003 conf/iaai/2003 IAAI db/conf/iaai/iaai2003.html#ForbusUC03