Title: Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups
Subjects: Semigroups