TY  - RPRT
TI  - Higher-Order Termination: from Kruskal to Computability
AU  - Frédéric Blanqui
AU  - Jean-Pierre Jouannaud
AU  - Albert Rubio
PY  - 2007
DO  - 10.1007/11916277_1
UR  - https://arxiv.org/abs/cs/0609039
ID  - cs/0609039
ER  -