U. Ranger and M. Lüstraeten, “Search Trees for Distributed Graph Transformation Systems”, eceasst, vol. 4, Dec. 2006.