Zoltán Fülöp, Sándor Vágvölgyi. A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata. In Jan Grabowski, Pierre Lescanne, Wolfgang Wechler, editors, Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings. Volume 343 of Lecture Notes in Computer Science, pages 157, Springer, 1988.
Abstract is missing.