T. Petković, “Regular tree languages and quasi orders”, Acta Cybern, vol. 17, no. 4, pp. 811-823, Jan. 2006.