Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics.
M. Droste, D. Götze, S. Märcker, and I. Meinecke. Algebraic Foundations in Computer Science, volume 7020 of Lecture Notes in Computer Science, page 30-55. Springer, (2011)