TY  - RPRT
TI  - Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems
AU  - Frédéric Blanqui
AU  - Colin Riba
PY  - 2006
UR  - https://arxiv.org/abs/cs/0609013
ID  - cs/0609013
ER  -