HORPO with Computability Closure: A Reconstruction.

Frdric Blanqui, Jean-Pierre Jouannaud, Albert Rubio

Browse the full LPAR paper archive.