Polynomials for Proving Termination of Context-Sensitive Rewriting.

Salvador Lucas

Browse the full FOSSACS paper archive.