Quang Huy Nguyen. Certifying Term Rewriting Proofs in ELAN. Theoretical Computer Science, 59(4):320-340, 2001. [doi]
@article{Nguyen01a, title = {Certifying Term Rewriting Proofs in ELAN}, author = {Quang Huy Nguyen}, year = {2001}, url = {http://www.elsevier.nl/locate/entcs/volume59.html}, tags = {term rewriting, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Nguyen01a}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {59}, number = {4}, pages = {320-340}, }