On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs. - Tsubasa Sakata; Naoki Nishida 001; Toshiki Sakabe (WFLP, 2011)