Quang Huy Nguyen. Compact Normalisation Trace via Lazy Rewriting. Theoretical Computer Science, 57:87-108, 2001. [doi]
@article{Nguyen01, title = {Compact Normalisation Trace via Lazy Rewriting}, author = {Quang Huy Nguyen}, year = {2001}, url = {http://www.elsevier.nl/locate/entcs/volume57.html}, tags = {laziness, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Nguyen01}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {57}, pages = {87-108}, }