Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto Heuristic Search for the Analysis of Graph Transition Systems. In: Graph Transformations (ICGT 2006). Lecture Notes in Computer Science, 4178 . Springer, pp. 414-429. ISBN 3-540-38870-2 (2006)