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