Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca. Lazy Strong Normalization. Electronic Notes in Theoretical Computer Science, 136:103-116, 2005. [doi]
@article{PaoliniPR05, title = {Lazy Strong Normalization}, author = {Luca Paolini and Elaine Pimentel and Simona Ronchi Della Rocca}, year = {2005}, doi = {10.1016/j.entcs.2005.06.013}, url = {http://dx.doi.org/10.1016/j.entcs.2005.06.013}, tags = {laziness}, researchr = {https://researchr.org/publication/PaoliniPR05}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {136}, pages = {103-116}, }