Tsai, H.- chien. More on the Decidability of Mereological Theories. LLP 2011, 20, 251-265.