On one-pass term rewriting - Fülöp, Zoltán; Jurvanen, Eija; Steinby, Magnus; Vágvölgyi, Sándor (Acta Cybernetica, 1999)