Lohrey, Ondrusch, 2005. Inverse Monoids: Decidability and Complexity of Algebraic Questions, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/11549345_57