[1]
Z. Fülöp, “On one-pass term rewriting”, Acta Cybern, vol. 14, no. 1, pp. 83-98, Jan. 1999.