Media type: E-Article Title: Compact Normalisation Trace via Lazy Rewriting Contributor: Nguyen, Quang-Huy Published: Elsevier BV, 2001 Published in: Electronic Notes in Theoretical Computer Science, 57 (2001), Seite 87-108 Language: English DOI: 10.1016/s1571-0661(04)00269-5 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access