Return to Article Details Finitely inseparable first-order axiomatized mereotopological theories Download Download PDF