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