@article{FulopKV05,
  title = {Linear deterministic multi bottom-up tree transducers},
  author = {Zoltán Fülöp and Armin Kühnemann and Heiko Vogler},
  year = {2005},
  doi = {10.1016/j.tcs.2005.07.025},
  url = {http://dx.doi.org/10.1016/j.tcs.2005.07.025},
  researchr = {https://researchr.org/publication/FulopKV05},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {347},
  number = {1-2},
  pages = {276-287},
}

@article{EngelfrietFV02,
  title = {Bottom-Up and Top-Down Tree Series Transformations},
  author = {Joost Engelfriet and Zoltán Fülöp and Heiko Vogler},
  year = {2002},
  tags = {transformation},
  researchr = {https://researchr.org/publication/EngelfrietFV02},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume = {7},
  number = {1},
  pages = {11-70},
}

@article{FulopMV09,
  title = {A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids},
  author = {Zoltán Fülöp and Andreas Maletti and Heiko Vogler},
  year = {2009},
  doi = {10.1007/s00224-007-9091-9},
  url = {http://dx.doi.org/10.1007/s00224-007-9091-9},
  researchr = {https://researchr.org/publication/FulopMV09},
  cites = {0},
  citedby = {0},
  journal = {Theory Comput. Syst.},
  volume = {44},
  number = {3},
  pages = {455-499},
}

@article{FassbenderV94,
  title = {A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing},
  author = {Heinz Faßbender and Heiko Vogler},
  year = {1994},
  url = {http://www.inf.u-szeged.hu/kutatas/actacybernetica/vol11n3/heiko/heiko.xml},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/FassbenderV94},
  cites = {0},
  citedby = {0},
  journal = {Acta Cybern.},
  volume = {11},
  number = {3},
  pages = {139-168},
}

@article{MalettiV05,
  title = {Incomparability Results for Classes of Polynomial Tree Series Transformations},
  author = {Andreas Maletti and Heiko Vogler},
  year = {2005},
  tags = {transformation},
  researchr = {https://researchr.org/publication/MalettiV05},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume = {10},
  number = {4},
  pages = {535-568},
}

@inproceedings{EngelfrietV84,
  title = {Regular Characterizations of Macro Tree Transducers},
  author = {Joost Engelfriet and Heiko Vogler},
  year = {1984},
  tags = {macros},
  researchr = {https://researchr.org/publication/EngelfrietV84},
  cites = {0},
  citedby = {0},
  pages = {103-118},
  booktitle = {CAAP},
}

@article{FulopKV04,
  title = {A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead},
  author = {Zoltán Fülöp and Armin Kühnemann and Heiko Vogler},
  year = {2004},
  doi = {10.1016/j.ipl.2004.03.014},
  url = {http://dx.doi.org/10.1016/j.ipl.2004.03.014},
  researchr = {https://researchr.org/publication/FulopKV04},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {91},
  number = {2},
  pages = {57-67},
}

@article{FulopV04,
  title = {Weighted Tree Transducers},
  author = {Zoltán Fülöp and Heiko Vogler},
  year = {2004},
  researchr = {https://researchr.org/publication/FulopV04},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume = {9},
  number = {1},
  pages = {31-54},
}

@inproceedings{MalettiV09,
  title = {Compositions of Top-Down Tree Transducers with ::::epsilon::::-Rules},
  author = {Andreas Maletti and Heiko Vogler},
  year = {2009},
  doi = {10.1007/978-3-642-14684-8_8},
  url = {http://dx.doi.org/10.1007/978-3-642-14684-8_8},
  tags = {rule-based, composition, rules, Epsilon},
  researchr = {https://researchr.org/publication/MalettiV09},
  cites = {0},
  citedby = {0},
  pages = {69-80},
  booktitle = {Finite-State Methods and Natural Language Processing, 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers},
  editor = {Anssi Yli-Jyrä and András Kornai and Jacques Sakarovitch and Bruce W. Watson},
  volume = {6062},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-14683-1},
}

@article{StuberVF09,
  title = {Decomposition of Weighted multioperator Tree Automata},
  author = {Torsten Stüber and Heiko Vogler and Zoltán Fülöp},
  year = {2009},
  doi = {10.1142/S012905410900653X},
  url = {http://dx.doi.org/10.1142/S012905410900653X},
  researchr = {https://researchr.org/publication/StuberVF09},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Found. Comput. Sci.},
  volume = {20},
  number = {2},
  pages = {221-245},
}

@article{FassbenderMV96,
  title = {Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers},
  author = {Heinz Faßbender and Andrea Mößle and Heiko Vogler},
  year = {1996},
  tags = {macros, e-science},
  researchr = {https://researchr.org/publication/FassbenderMV96},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional and Logic Programming},
  volume = {1996},
  number = {2},
}

@article{FulopGV04,
  title = {Hierarchies of tree series transformations},
  author = {Zoltán Fülöp and Zsolt Gazdag and Heiko Vogler},
  year = {2004},
  doi = {10.1016/j.tcs.2004.01.001},
  url = {http://dx.doi.org/10.1016/j.tcs.2004.01.001},
  tags = {transformation},
  researchr = {https://researchr.org/publication/FulopGV04},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {314},
  number = {3},
  pages = {387-429},
}

@article{BorchardtMSTV06,
  title = {Cut sets as recognizable tree languages},
  author = {Björn Borchardt and Andreas Maletti and Branimir Seselja and Andreja Tepavcevic and Heiko Vogler},
  year = {2006},
  doi = {10.1016/j.fss.2005.11.004},
  url = {http://dx.doi.org/10.1016/j.fss.2005.11.004},
  researchr = {https://researchr.org/publication/BorchardtMSTV06},
  cites = {0},
  citedby = {0},
  journal = {Fuzzy Sets and Systems},
  volume = {157},
  number = {11},
  pages = {1560-1571},
}

@article{EngelfrietV91,
  title = {Modular Tree Transducers},
  author = {Joost Engelfriet and Heiko Vogler},
  year = {1991},
  researchr = {https://researchr.org/publication/EngelfrietV91},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {78},
  number = {2},
  pages = {267-303},
}

@article{StuberV08,
  title = {Weighted monadic datalog},
  author = {Torsten Stüber and Heiko Vogler},
  year = {2008},
  doi = {10.1016/j.tcs.2008.04.025},
  url = {http://dx.doi.org/10.1016/j.tcs.2008.04.025},
  tags = {Datalog},
  researchr = {https://researchr.org/publication/StuberV08},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {403},
  number = {2-3},
  pages = {221-238},
}

@article{FulopV99,
  title = {A Characterization of Attributed Tree Transformations by a Subclass of Macro Tree Transducers},
  author = {Zoltán Fülöp and Heiko Vogler},
  year = {1999},
  url = {http://link.springer.de/link/service/journals/00224/bibs/32n6p649.html},
  tags = {macros, transformation},
  researchr = {https://researchr.org/publication/FulopV99},
  cites = {0},
  citedby = {0},
  journal = {Theory Comput. Syst.},
  volume = {32},
  number = {6},
  pages = {649-676},
}

@article{EngelfrietV87,
  title = {Look-Ahead on Pushdowns},
  author = {Joost Engelfriet and Heiko Vogler},
  year = {1987},
  month = {June},
  researchr = {https://researchr.org/publication/EngelfrietV87},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {73},
  number = {3},
  pages = {245-279},
}

@article{DrostePV05,
  title = {A Kleene Theorem for Weighted Tree Automata},
  author = {Manfred Droste and Christian Pech and Heiko Vogler},
  year = {2005},
  doi = {10.1007/s00224-004-1096-z},
  url = {http://dx.doi.org/10.1007/s00224-004-1096-z},
  researchr = {https://researchr.org/publication/DrostePV05},
  cites = {0},
  citedby = {0},
  journal = {Theory Comput. Syst.},
  volume = {38},
  number = {1},
  pages = {1-38},
}

@inproceedings{Vogler86:2,
  title = {Basic Tree Transducers},
  author = {Heiko Vogler},
  year = {1986},
  researchr = {https://researchr.org/publication/Vogler86%3A2},
  cites = {0},
  citedby = {0},
  pages = {183-195},
  booktitle = {CAAP  86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings},
  editor = {Paul Franchi-Zannettacci},
  volume = {214},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-16443-X},
}

@article{Vogler87:0,
  title = {Basic Tree Transducers},
  author = {Heiko Vogler},
  year = {1987},
  researchr = {https://researchr.org/publication/Vogler87%3A0},
  cites = {0},
  citedby = {0},
  journal = {J. Comput. Syst. Sci.},
  volume = {34},
  number = {1},
  pages = {87-128},
}

@article{Vogler88:0,
  title = {The OI-Hierarchy Is Closed under Control},
  author = {Heiko Vogler},
  year = {1988},
  month = {September},
  researchr = {https://researchr.org/publication/Vogler88%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {78},
  number = {3},
  pages = {187-204},
}

@inproceedings{DrosteV10,
  title = {Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices},
  author = {Manfred Droste and Heiko Vogler},
  year = {2010},
  doi = {10.1007/978-3-642-14455-4_16},
  url = {http://dx.doi.org/10.1007/978-3-642-14455-4_16},
  tags = {logic},
  researchr = {https://researchr.org/publication/DrosteV10},
  cites = {0},
  citedby = {0},
  pages = {160-172},
  booktitle = {Developments in Language Theory, 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings},
  editor = {Yuan Gao and Hanlin Lu and Shinnosuke Seki and Sheng Yu},
  volume = {6224},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-14454-7},
}

@inproceedings{MossleV97,
  title = {Benefits of Hypergraphs for Program Transformation},
  author = {Andrea Mößle and Heiko Vogler},
  year = {1997},
  tags = {transformation, program transformation},
  researchr = {https://researchr.org/publication/MossleV97},
  cites = {0},
  citedby = {0},
  pages = {572-581},
  booktitle = {GI Jahrestagung},
}

@article{NollV01,
  title = {The Universality of Higher-Order Attributed Tree Transducers},
  author = {Thomas Noll and Heiko Vogler},
  year = {2001},
  url = {http://link.springer.de/link/service/journals/00224/contents/00/10018/},
  researchr = {https://researchr.org/publication/NollV01},
  cites = {0},
  citedby = {0},
  journal = {Theory Comput. Syst.},
  volume = {34},
  number = {1},
  pages = {45-75},
}

@inproceedings{EngelfrietV85,
  title = {Characterization of High Level Tree Transducers},
  author = {Joost Engelfriet and Heiko Vogler},
  year = {1985},
  researchr = {https://researchr.org/publication/EngelfrietV85},
  cites = {0},
  citedby = {0},
  pages = {171-178},
  booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings},
  editor = {Wilfried Brauer},
  volume = {194},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-15650-X},
}

@inproceedings{Vogler86:1,
  title = {The OI-Hierarchy is Closed under Control},
  author = {Heiko Vogler},
  year = {1986},
  researchr = {https://researchr.org/publication/Vogler86%3A1},
  cites = {0},
  citedby = {0},
  pages = {611-619},
  booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings},
  editor = {Jozef Gruska and Branislav Rovan and Juraj Wiedermann},
  volume = {233},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-16783-8},
}

@article{KuhnemannV94,
  title = {A Pumping Lemma for Output Languages of Attributed Tree Transducers},
  author = {Armin Kühnemann and Heiko Vogler},
  year = {1994},
  url = {http://www.inf.u-szeged.hu/kutatas/actacybernetica/vol11n4/vogler/vogler.xml},
  researchr = {https://researchr.org/publication/KuhnemannV94},
  cites = {0},
  citedby = {0},
  journal = {Acta Cybern.},
  volume = {11},
  number = {4},
  pages = {261-306},
}

@article{DrosteV03,
  title = {Editorial},
  author = {Manfred Droste and Heiko Vogler},
  year = {2003},
  researchr = {https://researchr.org/publication/DrosteV03},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume = {8},
  number = {2},
  pages = {115},
}

@article{DrosteSV08,
  title = {Weighted automata with discounting},
  author = {Manfred Droste and Jacques Sakarovitch and Heiko Vogler},
  year = {2008},
  doi = {10.1016/j.ipl.2008.03.014},
  url = {http://dx.doi.org/10.1016/j.ipl.2008.03.014},
  researchr = {https://researchr.org/publication/DrosteSV08},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {108},
  number = {1},
  pages = {23-28},
}

@article{EngelfrietV94:0,
  title = {The Translation Power of Top-Down Tree-to-Graph Transducers},
  author = {Joost Engelfriet and Heiko Vogler},
  year = {1994},
  tags = {translation, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/EngelfrietV94%3A0},
  cites = {0},
  citedby = {0},
  journal = {J. Comput. Syst. Sci.},
  volume = {49},
  number = {2},
  pages = {258-305},
}

@article{Vogler91:4,
  title = {Functional Description of the Contextual Analysis in Block-Structured Programming Languages: A Sase Study of Tree Transducers},
  author = {Heiko Vogler},
  year = {1991},
  tags = {programming languages, program analysis, functional programming, analysis, programming},
  researchr = {https://researchr.org/publication/Vogler91%3A4},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {16},
  number = {3},
  pages = {251-275},
}

@article{CiricDIV10,
  title = {Determinization of weighted finite automata over strong bimonoids},
  author = {Miroslav Ciric and Manfred Droste and Jelena Ignjatovic and Heiko Vogler},
  year = {2010},
  doi = {10.1016/j.ins.2010.05.020},
  url = {http://dx.doi.org/10.1016/j.ins.2010.05.020},
  researchr = {https://researchr.org/publication/CiricDIV10},
  cites = {0},
  citedby = {0},
  journal = {Inf. Sci.},
  volume = {180},
  number = {18},
  pages = {3497-3520},
}

@article{PoschelSV04,
  title = {Relationally defined clones of tree functions closed under selection or primitive recursion},
  author = {Reinhard Pöschel and Alexander Semigrodskikh and Heiko Vogler},
  year = {2004},
  url = {http://www.inf.u-szeged.hu/actacybernetica/vol16n3/04_Poschel.xml},
  researchr = {https://researchr.org/publication/PoschelSV04},
  cites = {0},
  citedby = {0},
  journal = {Acta Cybern.},
  volume = {16},
  number = {3},
  pages = {411-425},
}

@article{EngelfrietV98:0,
  title = {The Equivalence of Bottom-Up and Top-Down Tree-to-Graph Transducers},
  author = {Joost Engelfriet and Heiko Vogler},
  year = {1998},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/EngelfrietV98%3A0},
  cites = {0},
  citedby = {0},
  journal = {J. Comput. Syst. Sci.},
  volume = {56},
  number = {3},
  pages = {332-356},
}

@article{EngelfrietV88,
  title = {High Level Tree Transducers and Iterated Pushdown Tree Transducers},
  author = {Joost Engelfriet and Heiko Vogler},
  year = {1988},
  researchr = {https://researchr.org/publication/EngelfrietV88},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {26},
  number = {1/2},
  pages = {131-192},
}

@article{HogbergMV09,
  title = {Bisimulation Minimisation of Weighted Automata on Unranked Trees},
  author = {Johanna Högberg and Andreas Maletti and Heiko Vogler},
  year = {2009},
  doi = {10.3233/FI-2009-0068},
  url = {http://dx.doi.org/10.3233/FI-2009-0068},
  researchr = {https://researchr.org/publication/HogbergMV09},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {92},
  number = {1-2},
  pages = {103-130},
}

@article{NollV94,
  title = {Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars},
  author = {Thomas Noll and Heiko Vogler},
  year = {1994},
  tags = {attribute grammars, parsing, grammar},
  researchr = {https://researchr.org/publication/NollV94},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {20},
  number = {4},
  pages = {285-332},
}

@article{DrewesV07,
  title = {Learning Deterministically Recognizable Tree Series},
  author = {Frank Drewes and Heiko Vogler},
  year = {2007},
  researchr = {https://researchr.org/publication/DrewesV07},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume = {12},
  number = {3},
  pages = {332-354},
}

@article{FulopV03,
  title = {Tree Series Transformations that Respect Copying},
  author = {Zoltán Fülöp and Heiko Vogler},
  year = {2003},
  doi = {10.1007/s00224-003-1072-z},
  url = {http://dx.doi.org/10.1007/s00224-003-1072-z},
  tags = {transformation},
  researchr = {https://researchr.org/publication/FulopV03},
  cites = {0},
  citedby = {0},
  journal = {Theory Comput. Syst.},
  volume = {36},
  number = {3},
  pages = {247-293},
}

@article{EngelfrietV85:0,
  title = {Macro Tree Transducers},
  author = {Joost Engelfriet and Heiko Vogler},
  year = {1985},
  tags = {macros},
  researchr = {https://researchr.org/publication/EngelfrietV85%3A0},
  cites = {0},
  citedby = {0},
  journal = {J. Comput. Syst. Sci.},
  volume = {31},
  number = {1},
  pages = {71-146},
}

@article{JurgensenV04,
  title = {Syntactic composition of top-down tree transducers is short cut fusion},
  author = {Claus Jürgensen and Heiko Vogler},
  year = {2004},
  doi = {10.1017/S0960129503004109},
  url = {http://dx.doi.org/10.1017/S0960129503004109},
  tags = {composition},
  researchr = {https://researchr.org/publication/JurgensenV04},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {14},
  number = {2},
  pages = {215-282},
}

@article{EngelfrietV86a,
  title = {::::Corrigenda: :::: Pushdown Machines for the Macro Tree Tranducer},
  author = {Joost Engelfriet and Heiko Vogler},
  year = {1986},
  tags = {macros},
  researchr = {https://researchr.org/publication/EngelfrietV86a},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {48},
  number = {3},
  pages = {339},
}

@article{FassbenderV92,
  title = {An Implementation of Syntax Directed Functional Programming on Nested-Stack Machines},
  author = {Heinz Faßbender and Heiko Vogler},
  year = {1992},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/FassbenderV92},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {4},
  number = {4},
  pages = {341-375},
}

@article{ManethV98,
  title = {Attributed Context-Free Hypergraph Grammars},
  author = {Sebastian Maneth and Heiko Vogler},
  year = {1998},
  tags = {attribute grammars, context-aware, grammar},
  researchr = {https://researchr.org/publication/ManethV98},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume = {3},
  number = {2},
  pages = {105-147},
}

@article{EngelfrietV86,
  title = {Pushdown Machines for the Macro Tree Transducer},
  author = {Joost Engelfriet and Heiko Vogler},
  year = {1986},
  tags = {macros},
  researchr = {https://researchr.org/publication/EngelfrietV86},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {42},
  pages = {251-368},
}

@article{SeseljaTV08,
  title = {A note on cut-worthiness of recognizable tree series},
  author = {Branimir Seselja and Andreja Tepavcevic and Heiko Vogler},
  year = {2008},
  doi = {10.1016/j.fss.2008.02.009},
  url = {http://dx.doi.org/10.1016/j.fss.2008.02.009},
  researchr = {https://researchr.org/publication/SeseljaTV08},
  cites = {0},
  citedby = {0},
  journal = {Fuzzy Sets and Systems},
  volume = {159},
  number = {22},
  pages = {3087-3090},
}

@article{KuhnemannV94:0,
  title = {Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantic},
  author = {Armin Kühnemann and Heiko Vogler},
  year = {1994},
  researchr = {https://researchr.org/publication/KuhnemannV94%3A0},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {31},
  number = {5},
  pages = {431-477},
}

@article{DrosteSV10,
  title = {Weighted finite automata over strong bimonoids},
  author = {Manfred Droste and Torsten Stüber and Heiko Vogler},
  year = {2010},
  doi = {10.1016/j.ins.2009.09.003},
  url = {http://dx.doi.org/10.1016/j.ins.2009.09.003},
  researchr = {https://researchr.org/publication/DrosteSV10},
  cites = {0},
  citedby = {0},
  journal = {Inf. Sci.},
  volume = {180},
  number = {1},
  pages = {156-166},
}

@article{DrosteV06,
  title = {Weighted tree automata and weighted logics},
  author = {Manfred Droste and Heiko Vogler},
  year = {2006},
  doi = {10.1016/j.tcs.2006.08.025},
  url = {http://dx.doi.org/10.1016/j.tcs.2006.08.025},
  tags = {logic},
  researchr = {https://researchr.org/publication/DrosteV06},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {366},
  number = {3},
  pages = {228-247},
}

@article{FulopHVV93,
  title = {Tree Transducers with External Functions},
  author = {Zoltán Fülöp and Frank Herrmann and Sándor Vágvölgyi and Heiko Vogler},
  year = {1993},
  researchr = {https://researchr.org/publication/FulopHVV93},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {108},
  number = {2},
  pages = {185-236},
}

@article{BorchardtV03,
  title = {Determinization of Finite State Weighted Tree Automata},
  author = {Björn Borchardt and Heiko Vogler},
  year = {2003},
  researchr = {https://researchr.org/publication/BorchardtV03},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume = {8},
  number = {3},
  pages = {417-463},
}