Minimal Equational Representations of Recognizable Tree Languages.

Zoltán Fülöp Sándor Vágvölgyi Minimal Equational Representations of Recognizable Tree Languages. 59-84 1997 34 Acta Inf. 1 db/journals/acta/acta34.html#FulopV97