Inverse monoids: Decidability and complexity of algebraic questions, (2007)

by Markus Lohrey, Nicole Ondrusch
Venue:Inf. Comput.