@inproceedings(bad08,
 author       = "Andrew Badr",
 year         = "2008",
 title        = "Hyper-Minimization in {$O(n^2)$}",
 booktitle    = "Proc.\ 13th CIAA",
 series       = "{\upshape LNCS}",
 volume       = "5148",
 publisher    = "Springer",
 pages        = "223--231",
 doi          = "10.1007/978-3-540-70844-5_23",
)
@article(bad09,
 author       = "Andrew Badr",
 year         = "2009",
 title        = "Hyper-Minimization in {$O(n^2)$}",
 journal      = "Int.\ J. Found.\ Comput.\ Sci.",
 volume       = "20",
 number       = "4",
 pages        = "735--746",
 doi          = "10.1142/S012905410900684X",
)
@article(badgefshi07,
 author       = "Andrew Badr and Viliam Geffert and Ian Shipman",
 year         = "2009",
 title        = "Hyper-minimizing minimized deterministic finite state automata",
 journal      = "RAIRO Theor.\ Inf.\ Appl.",
 volume       = "43",
 number       = "1",
 pages        = "69--94",
 doi          = "10.1051/ita:2007061",
)
@article(berreu82,
 author       = "Jean Berstel and Christophe Reutenauer",
 year         = "1982",
 title        = "Recognizable Formal Power Series on Trees",
 journal      = "Theor.\ Comput.\ Sci.",
 volume       = "18",
 number       = "2",
 pages        = "115--148",
 doi          = "10.1016/0304-3975(82)90019-6",
)
@inproceedings(bor03,
 author       = "Bj{\"o}rn Borchardt",
 year         = "2003",
 title        = "The {M}yhill-{N}erode Theorem for Recognizable Tree Series",
 booktitle    = "Proc.\ 7th DLT",
 series       = "{\upshape LNCS}",
 volume       = "2710",
 publisher    = "Springer",
 pages        = "146--158",
 doi          = "10.1007/3-540-45007-6_11",
)
@phdthesis(bor05a,
 author       = "Bj{\"o}rn Borchardt",
 year         = "2005",
 title        = "The Theory of Recognizable Tree Series",
 school       = "Tech\-nische Uni\-ver\-sit{\"a}t Dresden",
)
@article(bra68,
 author       = "Walter S. Brainerd",
 year         = "1968",
 title        = "The Minimalization of Tree Automata",
 journal      = "Information and Control",
 volume       = "13",
 number       = "5",
 pages        = "484--491",
 doi          = "10.1016/S0019-9958(68)90917-0",
)
@article(camsanyu01,
 author       = "Cezar C{\^a}mpeanu and Nicolae Santean and Sheng Yu",
 year         = "2001",
 title        = "Minimal cover-automata for finite languages",
 journal      = "Theor.\ Comput.\ Sci.",
 volume       = "267",
 number       = "1--2",
 pages        = "3--16",
 doi          = "10.1016/S0304-3975(00)00292-9",
)
@article(diekarmehmeyrohtar94,
 author       = "Martin Dietzfelbinger and Anna R. Karlin and Kurt Mehlhorn and Friedhelm {Meyer auf der Heide} and Hans Rohnert and Robert Endre Tarjan",
 year         = "1994",
 title        = "Dynamic Perfect Hashing: Upper and Lower Bounds",
 journal      = "SIAM J.\ Comput.",
 volume       = "23",
 number       = "4",
 pages        = "738--761",
 doi          = "10.1137/S0097539791194094",
)
@inproceedings(eis03,
 author       = "Jason Eisner",
 year         = "2003",
 title        = "Simpler and More General Minimization for Weighted Finite-State Automata",
 booktitle    = "Proc.\ HLT-NAACL",
 publisher    = "The The Association for Computational Linguistics",
 pages        = "64--71",
)
@incollection(fulvog09,
 author       = "Zolt\'an F\"ul\"op and Heiko Vogler",
 year         = "2009",
 title        = "Weighted tree automata and tree transducers",
 editor       = "Manfred Droste and Werner Kuich and Heiko Vogler",
 booktitle    = "Handbook of Weighted Automata",
 chapter      = "IX",
 series       = "EATCS Monographs on Theoret.\ Comput.\ Sci.",
 publisher    = "Springer",
 pages        = "313--403",
 doi          = "10.1007/978-3-642-01492-5_9",
)
@inproceedings(gawjez09,
 author       = "Pawe{\l } Gawrychowski and Artur Je\.{z}",
 year         = "2009",
 title        = "Hyper-minimisation Made Efficient",
 booktitle    = "Proc.\ 34th MFCS",
 series       = "{\upshape LNCS}",
 volume       = "5734",
 publisher    = "Springer",
 pages        = "356--368",
 doi          = "10.1007/978-3-642-03816-7_31",
)
@book(gecste84,
 author       = "Ferenc G{\'e}cseg and Magnus Steinby",
 year         = "1984",
 title        = "Tree Automata",
 publisher    = "Akad{\'e}miai Kiad{\'o}",
 address      = "Budapest",
)
@incollection(gecste97,
 author       = "Ferenc G{\'e}cseg and Magnus Steinby",
 year         = "1997",
 title        = "Tree Languages",
 editor       = "Grzegorz Rozenberg and Arto Salomaa",
 booktitle    = "Handbook of Formal Languages",
 chapter      = "1",
 volume       = "3",
 publisher    = "Springer",
 pages        = "1--68",
 doi          = "10.1007/978-3-642-59126-6_1",
)
@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",
)
@article(gri73,
 author       = "David Gries",
 year         = "1973",
 title        = "Describing an Algorithm by {Hopcroft}",
 journal      = "Acta Inform.",
 volume       = "2",
 number       = "2",
 pages        = "97--109",
 doi          = "10.1007/BF00264025",
)
@book(hebwei98,
 author       = "Udo Hebisch and Hanns J. Weinert",
 year         = "1998",
 title        = "Semirings --- Algebraic Theory and Applications in Computer Science",
 publisher    = "World Scientific",
 doi          = "10.1142/9789812815965_0001",
)
@article(hogmalmay08,
 author       = "Johanna H\"ogberg and Andreas Maletti and Jonathan May",
 year         = "2009",
 title        = "Backward and Forward Bisimulation Minimization of Tree Automata",
 journal      = "Theor.\ Comput.\ Sci.",
 volume       = "410",
 number       = "37",
 pages        = "3539--3552",
 doi          = "10.1016/j.tcs.2009.03.022",
)
@article(holmal10,
 author       = "Markus Holzer and Andreas Maletti",
 year         = "2010",
 title        = "An $n \qopname \relax o{log}n$ Algorithm for Hyper-Minimizing a (Minimized) Deterministic Automaton",
 journal      = "Theor.\ Comput.\ Sci.",
 volume       = "411",
 number       = "38--39",
 pages        = "3404--3413",
 doi          = "10.1016/j.tcs.2010.05.029",
)
@incollection(hop71,
 author       = "John E. Hopcroft",
 year         = "1971",
 title        = "An $n\tmspace +\thinmuskip {.1667em}\textrm {log}\tmspace +\thinmuskip {.1667em} n$ Algorithm for Minimizing States in a Finite Automaton",
 booktitle    = "Theory of Machines and Computations",
 publisher    = "Academic Press",
 pages        = "189--196",
)
@article(jezmal12b,
 author       = "Artur Je\.z and Andreas Maletti",
 year         = "2013",
 title        = "Hyper-minimization for deterministic tree automata",
 journal      = "Int.\ J. Found.\ Comput.\ Sci.",
 volume       = "24",
 number       = "6",
 pages        = "815--830",
 doi          = "10.1142/S0129054113400200",
)
@article(koz92,
 author       = "Dexter Kozen",
 year         = "1992",
 title        = "On the {M}yhill-{N}erode theorem for trees",
 journal      = "Bulletin of the EATCS",
 volume       = "47",
 pages        = "170--173",
)
@inproceedings(kui98,
 author       = "Werner Kuich",
 year         = "1998",
 title        = "Formal Power Series over Trees",
 booktitle    = "Proc.\ 3rd DLT",
 publisher    = "Aristotle University of Thessaloniki",
 pages        = "61--101",
)
@inproceedings(malque11b,
 author       = "Andreas Maletti and Daniel Quernheim",
 year         = "2011",
 title        = "Hyper-minimisation of deterministic weighted finite automata over semifields",
 booktitle    = "Proc.\ 13th AFL",
 publisher    = "Ny\'\i regyh\'aza College",
 pages        = "285--299",
)
@inproceedings(malque11c,
 author       = "Andreas Maletti and Daniel Quernheim",
 year         = "2011",
 title        = "Pushing for Weighted Tree Automata",
 booktitle    = "Proc.\ 36th MFCS",
 series       = "{\upshape LNCS}",
 volume       = "6907",
 publisher    = "Springer",
 pages        = "460--471",
 doi          = "10.1007/978-3-642-22993-0_42",
)
@article(moh97,
 author       = "Mehryar Mohri",
 year         = "1997",
 title        = "Finite-State Transducers in Language and Speech Processing",
 journal      = "Comput.\ Linguist.",
 volume       = "23",
 number       = "2",
 pages        = "269--311",
)
@inproceedings(petbarthikle06,
 author       = "Slav Petrov and Leon Barrett and Romain Thibaux and Dan Klein",
 year         = "2006",
 title        = "Learning Accurate, Compact, and Interpretable Tree Annotation",
 booktitle    = "Proc.\ 44th ACL",
 publisher    = "The Association for Computational Linguistics",
 pages        = "433--440",
 doi          = "10.3115/1220175.1220230",
)
@mastersthesis(que10,
 author       = "Daniel Quernheim",
 year         = "2010",
 title        = "Hyper-minimisation of weighted finite automata",
 school       = "Institut f\IeC {\"u}r Linguistik, Universit\IeC {\"a}t Potsdam",
)
@article(tar72,
 author       = "Robert Endre Tarjan",
 year         = "1972",
 title        = "Depth-First Search and Linear Graph Algorithms",
 journal      = "SIAM J.\ Comput.",
 volume       = "1",
 number       = "2",
 pages        = "146--160",
 doi          = "10.1137/0201010",
)
@inproceedings(valleh08,
 author       = "Antti Valmari and Petri Lehtinen",
 year         = "2008",
 title        = "Efficient Minimization of {DFAs} with Partial Transition Functions",
 booktitle    = "Proc.\ 25th STACS",
 series       = "LIPIcs",
 volume       = "1",
 publisher    = "Schloss Dagstuhl --- Leibniz-Zentrum f\"ur Informatik, Germany",
 pages        = "645--656",
 doi          = "10.4230/LIPIcs.STACS.2008.1328",
)