TY  - RPRT
TI  - Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems
AU  - Keiichirou Kusakari
AU  - Yasuo Isogai
AU  - Masahiko Sakai
AU  - Frédéric Blanqui
PY  - 2011
UR  - https://arxiv.org/abs/1109.5468
ID  - 1109.5468
ER  -