Danvy Olivier, Nielsen, Lasse R. Refocusing in reduction semantics. 2004.
@book{OlivierNielsenR2004,
title = {Refocusing in reduction semantics},
author = {Danvy Olivier and Nielsen and Lasse R},
year = {2004},
researchr = {https://researchr.org/publication/OlivierNielsenR2004},
cites = {0},
citedby = {0},
}