Weidenbach, C. (1998). Sorted Unification and Tree Automata. In W., Bibel, & P. H., Schmitt (Eds.), Automated Deduction - A Basis for Applications (pp. 291-320). Dordrecht, The Netherlands: Kluwer.