[1]
Fülöp, Z. 1999. On one-pass term rewriting. Acta Cybernetica. 14, 1 (Jan. 1999), 83-98.