Tsai, H.- chien. “Decidability of Mereological Theories”. Logic and Logical Philosophy, vol. 18, no. 1, Aug. 2009, pp. 45-63, doi:10.12775/LLP.2009.004.