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