"The evaluation strategy for head normal form with and without on-demand flags."

Masaki Nakamura, Kazuhiro Ogata (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics