Ontologies for plane, polygonal mereotopology (1997)

by I Pratt, O Lemon
Venue:Notre Dame Journal of Formal Logic