HORPO with Computability Closure: A Reconstruction | Publicación