Masaki Nakamura, Kazuhiro Ogata
The evaluation strategy for head normal form with and without on-demand flags
WRLA, 2000.
@article{WRLA-2000-NakamuraO,
author = "Masaki Nakamura and Kazuhiro Ogata",
doi = "10.1016/S1571-0661(05)80143-4",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "212--228",
title = "{The evaluation strategy for head normal form with and without on-demand flags}",
volume = 36,
year = 2000,
}