Modeling Spatial Reasoning Systems With Shape Algebras and Formal Logic

Created June 01, 1996, Updated October 19, 2016