Redundancy Analyses in Term Rewriting

María Alpuente, Santiago Escobar, Salvador Lucas. Redundancy Analyses in Term Rewriting. In María Alpuente, editor, 9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000. pages 309-323, 2000.

Abstract

Abstract is missing.