Toward Solving Equations in Kleene Algebras. - François Lajeunesse-Robert; Béchir Ktari (SoMeT, 2007)

Solving Linear Equations in *-continuous Action Lattices. - Béchir Ktari; François Lajeunesse-Robert; Claude Bolduc (RelMiCS, 2008)