Tsai, H.- chien. Finitely Inseparable First-Order Axiomatized Mereotopological Theories. LLP 2013, 22, 347–363.