Gergely Varró Ákos Horváth Dániel Varró Recursive Graph Pattern Matching. 456-470 2007 AGTIVE http://dx.doi.org/10.1007/978-3-540-89020-1_31 conf/agtive/2007 db/conf/agtive/agtive2007.html#VarroHV07