Jörg Endrullis, Dimitri Hendriks. Lazy productivity via termination. Theoretical Computer Science, 412(28):3203-3225, 2011. [doi]
@article{EndrullisH11,
title = {Lazy productivity via termination},
author = {Jörg Endrullis and Dimitri Hendriks},
year = {2011},
doi = {10.1016/j.tcs.2011.03.024},
url = {http://dx.doi.org/10.1016/j.tcs.2011.03.024},
tags = {laziness, termination},
researchr = {https://researchr.org/publication/EndrullisH11},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {412},
number = {28},
pages = {3203-3225},
}