Arnaud Carayol Didier Caucal The Kleene Equality for Graphs. 214-225 2006 conf/mfcs/2006 MFCS http://dx.doi.org/10.1007/11821069_19 db/conf/mfcs/mfcs2006.html#CarayolC06