TY  - RPRT
TI  - HORPO with Computability Closure : A Reconstruction
AU  - Frédéric Blanqui
AU  - Jean-Pierre Jouannaud
AU  - Albert Rubio
PY  - 2007
UR  - https://arxiv.org/abs/0708.3582
ID  - 0708.3582
ER  -