Tsai, H.- chien 2011. More on the decidability of mereological theories. Logic and Logical Philosophy. 20, 3 (Nov. 2011), 251–265. DOI:https://doi.org/10.12775/LLP.2011.015.