Tsai, H.- chien. Decidability of Mereological Theories. LLP 2009, 18, 45-63.