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