Modeling Spatial Reasoning Systems With Shape Algebras and Formal Logic

Created June 01, 1996, Updated March 09, 2009