H.- chien Tsai, “Finitely inseparable first-order axiomatized mereotopological theories”, LLP, vol. 22, no. 3, pp. 347–363, Jun. 2013.