Toward a Geometry of Common Sense: a semantics and a complete axiomatization of mereotopology (1995)

by N Asher, L Vieu
Venue:In IJCAI95, pages 846–852. International Joint Conference on Artificial Itelligence