Equations in Free Inverse Monoids. - Timothy Deis; John C. Meakin; Géraud Sénizergues (Int. J. Algebra Comput., 2007)