H.- chien Tsai, “Decidability of mereological theories”, LLP, vol. 18, no. 1, pp. 45–63, Aug. 2009.