%0 Journal Article %A Wehrung, Friedrich %T The Universal Theory of Ordered Equidecomposability Types Semigroups %J Canadian journal of mathematics %D 1994 %P 1093-1120 %V 46 %N 5 %U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1994-062-3/ %R 10.4153/CJM-1994-062-3 %F 10_4153_CJM_1994_062_3