Tsai, Hsing-chien. 2009. “Decidability of Mereological Theories”. Logic and Logical Philosophy 18 (1):45-63. https://doi.org/10.12775/LLP.2009.004.