Salvador Lucas. Redundant arguments in infinitary rewriting. In María Alpuente, editor, 9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000. pages 340-343, 2000.
No references recorded for this publication.
No citations of this publication recorded.