Tsai, H.- chien. (2009). Decidability of mereological theories. Logic and Logical Philosophy, 18(1), 45–63. https://doi.org/10.12775/LLP.2009.004