TSAI, Hsing-chien. Decidability of mereological theories. Logic and Logical Philosophy. Online. 15 August 2009. Vol. 18, no. 1, pp. 45-63. [Accessed 4 July 2024]. DOI 10.12775/LLP.2009.004.