Volker Diekert Markus Lohrey Alexander Miller Partially Commutative Inverse Monoids. 292-304 2006 conf/mfcs/2006 MFCS http://dx.doi.org/10.1007/11821069_26 db/conf/mfcs/mfcs2006.html#DiekertLM06