Steven Eker
Term rewriting with operator evaluation strategies
WRLA, 1998.
@article{WRLA-1998-Eker,
author = "Steven Eker",
doi = "10.1016/S1571-0661(05)80019-2",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "311--330",
title = "{Term rewriting with operator evaluation strategies}",
volume = 15,
year = 1998,
}