Tsai, H.- chien (2013) “Finitely inseparable first-order axiomatized mereotopological theories”, Logic and Logical Philosophy, 22(3), pp. 347–363. doi: 10.12775/LLP.2013.016.