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