Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos. On abstract normalisation beyond neededness. Theoretical Computer Science, 672:36-63, 2017. [doi]
@article{BonelliKLR17, title = {On abstract normalisation beyond neededness}, author = {Eduardo Bonelli and Delia Kesner and Carlos Lombardi and Alejandro Ríos}, year = {2017}, doi = {10.1016/j.tcs.2017.01.025}, url = {http://dx.doi.org/10.1016/j.tcs.2017.01.025}, researchr = {https://researchr.org/publication/BonelliKLR17}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {672}, pages = {36-63}, }