Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems. - Keiichirou Kusakari; Yasuo Isogai; Masahiko Sakai; Frédéric Blanqui (IEICE Trans. Inf. Syst., 2009)