Return to Article Details Decidability of mereological theories Download Download PDF