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