TSAI, Hsing-chien. Finitely inseparable first-order axiomatized mereotopological theories. Logic and Logical Philosophy. Online. 11 June 2013. Vol. 22, no. 3, p. 347–363. [Accessed 4 July 2024]. DOI 10.12775/LLP.2013.016.