(1)
Rensink, A. Isomorphism Checking in GROOVE. ECEASST 2007, 1.