Keiichirou Kusakari, yasuo Isogai, Masahiko Sakai, Frédéric Blanqui. Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems.
IEICE Transactions on Information and Systems, Institute of Electronics, Information and Communication Engineers, 2009.
⟨inria-00397820⟩