@article(graphautomata,
 author       = {Symeon Bozapalidis and Antonios Kalampakas},
 year         = {2008},
 title        = {Graph automata},
 journal      = {Theoretical Computer Science},
 volume       = {393},
 number       = {1-3},
 pages        = {147--165},
 doi          = {10.1016/j.tcs.2007.11.022},
)
@misc(tataok,
 author       = {H.~Comon and M.~Dauchet and R.~Gilleron and C.~L\"oding and F.~Jacquemard and D.~Lugiez and S.~Tison and M.~Tommasi},
 year         = {2007},
 title        = {Tree Automata --- {T}echniques and Applications},
)
@inproceedings(hom2012exp,
 author       = {Carles Creus and Adri{\`a} Gasc{\'o}n and Guillem Godoy and Lander Ramos},
 year         = {2012},
 title        = {The {HOM} problem is {EXPTIME}-complete},
 booktitle    = {Proc.\spacefactor\@m {} 27th Annual IEEE Symp.\spacefactor\@m {} Logic in Computer Science},
 organization = {IEEE},
 pages        = {255--264},
 doi          = {10.1109/LICS.2012.36},
)
@article(dic13,
 author       = {Leonard~E. Dickson},
 year         = {1913},
 title        = {Finiteness of the odd perfect and primitive abundant numbers with $n$~distinct prime factors},
 journal      = {Amer.\spacefactor\@m {} J.\spacefactor\@m {} Math.},
 volume       = {35},
 number       = {4},
 pages        = {413--422},
 doi          = {10.2307/2370405},
)
@article(doner1970tree,
 author       = {John Doner},
 year         = {1970},
 title        = {Tree acceptors and some of their applications},
 journal      = {J.\spacefactor\@m {} Comput.\spacefactor\@m {} System Sci.},
 volume       = {4},
 number       = {5},
 pages        = {406--451},
 doi          = {10.1016/S0022-0000(70)80041-1},
)
@book(drewes2006grammatical,
 author       = {Frank Drewes},
 year         = {2006},
 title        = {Grammatical picture generation},
 publisher    = {Springer},
)
@article(droheu15,
 author       = {Manfred Droste and Doreen Heusel},
 year         = {2015},
 title        = {The supports of weighted unranked tree automata},
 journal      = {Funda.\spacefactor\@m {} Inform.},
 volume       = {136},
 number       = {1--2},
 pages        = {37--58},
 doi          = {10.3233/FI-2015-1143},
)
@misc(droste2021weighted,
 author       = {Manfred Droste and Dietrich Kuske},
 year         = {2021},
 title        = {Weighted automata.},
)
@incollection(fulvog09,
 author       = {Zolt\'an F{\"u}l{\"o}p and Heiko Vogler},
 year         = {2009},
 title        = {Weighted tree automata and tree transducers},
 booktitle    = {Handbook of Weighted Automata},
 chapter      = {9},
 publisher    = {Springer},
 pages        = {313--403},
 doi          = {10.1007/978-3-642-01492-5_9},
)
@techreport(gecste15,
 author       = {Ferenc G{\'e}cseg and Magnus Steinby},
 year         = {2015},
 title        = {Tree Automata},
 type         = {Technical Report},
 number       = {1509.06233},
 institution  = {arXiv},
)
@article(giammarresi1992recognizable,
 author       = {Dora Giammarresi and Antonio Restivo},
 year         = {1992},
 title        = {Recognizable picture languages},
 journal      = {International Journal of Pattern Recognition and Artificial Intelligence},
 volume       = {6},
 number       = {02n03},
 pages        = {241--256},
 doi          = {10.1142/S021800149200014X},
)
@article(godoy2013hom,
 author       = {Guillem Godoy and Omer Gim{\'e}nez},
 year         = {2013},
 title        = {The {HOM} problem is decidable},
 journal      = {J.\spacefactor\@m {} ACM},
 volume       = {60},
 number       = {4},
 pages        = {1--44},
 doi          = {10.1145/2508028.2501600},
)
@inproceedings(godoy2010hom,
 author       = {Guillem Godoy and Omer Gim\'enez and Lander Ramos and Carme \`Alvarez},
 year         = {2010},
 title        = {The HOM problem is decidable},
 booktitle    = {Proc.\spacefactor\@m {} 42nd ACM symp.\spacefactor\@m {} Theory of Computing},
 publisher    = {ACM},
 pages        = {485--494},
 doi          = {10.1145/1806689.1806757},
)
@book(gol99,
 author       = {Jonathan~S. Golan},
 year         = {1999},
 title        = {Semirings and their Applications},
 publisher    = {Kluwer Academic},
 address      = {Dordrecht},
 doi          = {10.1007/978-94-015-9333-5},
)
@book(hebwei98,
 author       = {Udo Hebisch and Hanns~J. Weinert},
 year         = {1998},
 title        = {Semirings},
 publisher    = {World Scientific},
 doi          = {10.1142/3903},
)
@book(hebisch1998semirings,
 author       = {Udo Hebisch and Hanns~Joachim Weinert},
 year         = {1998},
 title        = {Semirings: algebraic theory and applications in computer science},
 volume       = {5},
 publisher    = {World Scientific},
 doi          = {10.1142/9789812815965_bmatter},
)
@book(jurmar08,
 author       = {Dan Jurafsky and James~H. Martin},
 year         = {2008},
 title        = {Speech and language processing},
 publisher    = {Prentice Hall},
)
@article(kir11,
 author       = {Daniel Kirsten},
 year         = {2011},
 title        = {The support of a recognizable series over a zero-sum free, commutative semiring is recognizable},
 journal      = {Acta Cybernet.},
 volume       = {20},
 number       = {2},
 pages        = {211--221},
 doi          = {10.14232/actacyb.20.2.2011.1},
)
@(tetris,
 author       = {Tetris Holding; The Tetris~Company LLC},
 year         = {1985},
 title        = {Tetris},
 url          = {https://tetris.com},
)
@inproceedings(altinfinitewords,
 author       = {Christof Loding and Wolfgang Thomas},
 year         = {2000},
 title        = {Alternating Automata and Logics over Infinite Words},
 editor       = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter~D. Mosses and Takayasu Ito},
 booktitle    = {Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics},
 publisher    = {Springer Berlin Heidelberg},
 doi          = {10.1007/3-540-44929-9_36},
)
@inproceedings(dlt22,
 author       = {Andreas Maletti and Andreea-Teodora N{\'a}sz},
 year         = {2022},
 title        = {Weighted tree automata with constraints},
 booktitle    = {Developments in Language Theory: 26th International Conference, DLT 2022, Tampa, FL, USA, May 9--13, 2022, Proceedings},
 organization = {Springer},
 pages        = {226--238},
 doi          = {10.1007/978-3-031-05578-2_18},
)
@techreport(WTAc-journal,
 author       = {Andreas Maletti and Andreea-Teodora Nász},
 year         = {2023},
 title        = {Weighted Tree Automata with Constraints},
 type         = {Technical Report},
 number       = {2302.03434},
 institution  = {arXiv},
 url          = {https://arxiv.org/abs/2302.03434},
)
@misc(integer-hom,
 author       = {Andreas Maletti and Andreea-Teodora Nász and Erik Paul},
 year         = {2023},
 title        = {Weighted HOM-Problem for Nonnegative Integers},
 eprint       = {2305.04117},
)
@article(mohri2017,
 author       = {Mehryar Mohri and Michael~D. Riley},
 year         = {2017},
 title        = {A disambiguation algorithm for weighted automata},
 journal      = {Theoretical Computer Science},
 volume       = {679},
 pages        = {53--68},
 doi          = {10.1016/j.tcs.2016.08.019},
 url          = {https://www.sciencedirect.com/science/article/pii/S0304397516304376},
 note         = {Implementation and Application of Automata},
)
@phdthesis(rateg1981,
 author       = {J.~Mongy-Steen},
 year         = {1981},
 title        = {Transformation de noyaux reconnaissables d'arbres. For\^ets {RATEG}},
 school       = {Universit\'e de Lille},
)
@inproceedings(infinitewords,
 author       = {Dominique Perrin},
 year         = {1984},
 title        = {Recent results on automata and infinite words},
 booktitle    = {Proc.\spacefactor\@m {} 11th Int.\spacefactor\@m {} Symp.\spacefactor\@m {} Mathematical Foundations of Computer Science},
 series       = {{LNCS}},
 volume       = {176},
 publisher    = {Springer},
 pages        = {134--148},
 doi          = {10.1007/BFb0030294},
)
@book(rosenfeld2014picture,
 author       = {Azriel Rosenfeld},
 year         = {2014},
 title        = {Picture languages: formal models for picture recognition},
 publisher    = {Academic Press},
)
@book(salomaa2012automata,
 author       = {Arto Salomaa and Matti Soittola},
 year         = {1978},
 title        = {Automata-Theoretic Aspects of Formal Power Series},
 series       = {Texts and Monographs in Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-6264-0},
)
@article(schutzenberger1961,
 author       = {Marcel~Paul Sch{\"u}tzenberger},
 year         = {1961},
 title        = {On the definition of a family of automata},
 journal      = {Inform.\spacefactor\@m {} and Control},
 volume       = {4},
 number       = {2--3},
 pages        = {245--270},
 doi          = {10.1016/S0019-9958(61)80020-X},
)
@inproceedings(stierulbricht,
 author       = {Kevin Stier and Markus Ulbricht},
 year         = {2021},
 title        = {Disambiguation of Weighted Tree Automata},
 editor       = {Yo-Sub Han and Sang-Ki Ko},
 booktitle    = {Descriptional Complexity of Formal Systems},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {163--175},
 doi          = {10.1007/978-3-030-93489-7_14},
)
@article(thatcher1965generalized,
 author       = {James~W. Thatcher},
 year         = {1967},
 title        = {Characterizing Derivation Trees of Context-Free Grammars through a Generalization of Finite Automata Theory},
 journal      = {J.\spacefactor\@m {} Comput.\spacefactor\@m {} Syst.\spacefactor\@m {} Sci.},
 volume       = {1},
 number       = {4},
 pages        = {317--322},
 doi          = {10.1016/S0022-0000(67)80022-9},
)
@article(thatcher1968generalized,
 author       = {James~W. Thatcher and Jesse~B. Wright},
 year         = {1968},
 title        = {Generalized finite automata theory with an application to a decision problem of second-order logic},
 journal      = {Math.\spacefactor\@m {} Systems Theory},
 volume       = {2},
 number       = {1},
 pages        = {57--81},
 doi          = {10.1007/BF01691346},
)
@book(wilseihac13,
 author       = {Reinhard Wilhelm and Helmut Seidl and Sebastian Hack},
 year         = {2013},
 title        = {Compiler Design - Syntactic and Semantic Analysis},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-17540-4},
)