Return to Article Details More on the decidability of mereological theories Download Download PDF