Ranger, U.; Lüstraeten, M. Search Trees for Distributed Graph Transformation Systems. ECEASST 2006, 4.