Termination of Rewriting With Strategy Annotations.

Salvador Lucas

Browse the full LPAR paper archive.