Rönkä Matti: On one-pass term rewriting and Tree recognizers with comparisons between brothers : [abstract].