Ian Pratt, Dominik Schoop, Expressivity in Polygonal, Plane Mereotopology, The Journal of Symbolic Logic, Vol. 65, No. 2 (Jun., 2000), pp. 822-838 ...