Modeling Spatial Reasoning Systems With Shape Algebras and Formal Logic

Created June 01, 1996, Updated February 19, 2017