H.- chien Tsai, “More on the decidability of mereological theories”, LLP, vol. 20, no. 3, pp. 251–265, Nov. 2011.