Volker Diekert Nicole Ondrusch Markus Lohrey Algorithmic Problems on Inverse Monoids over Virtually Free Groups. 181-208 2008 18 IJAC 1 http://dx.doi.org/10.1142/S0218196708004366 db/journals/ijac/ijac18.html#DiekertOL08