HORPO with Computability Closure : A Reconstruction | Publicación