Tsai, H.- chien. “Finitely Inseparable First-Order Axiomatized Mereotopological Theories”. Logic and Logical Philosophy, vol. 22, no. 3, June 2013, pp. 347–363, doi:10.12775/LLP.2013.016.