Rensink, A. Isomorphism Checking in GROOVE. eceasst 2007, 1.