Media type: E-Article Title: Certifying Term Rewriting Proofs in ELAN Contributor: Nguyen, Quang-Huy Published: Elsevier BV, 2001 Published in: Electronic Notes in Theoretical Computer Science, 59 (2001) 4, Seite 320-340 Language: English DOI: 10.1016/s1571-0661(04)00295-6 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access