@inproceedings(Holik:computingSim08,
 author       = {Parosh~Aziz Abdulla and Ahmed Bouajjani and Hol\'{\i}k, Luk{\'a}s and Lisa Kaati and Tom{\'a}s Vojnar},
 year         = {2008},
 title        = {Computing Simulations over Tree Automata},
 booktitle    = {TACAS},
 series       = {LNCS},
 volume       = {4963},
 pages        = {93--108},
 url          = {http://dx.doi.org/10.1007/978-3-540-78800-3_8},
)
@article(lukas:framework2009,
 author       = {Parosh~Aziz Abdulla and Hol{\'{\i}}k, Luk{\'{a}}s and Lisa Kaati and Tom{\'{a}}s Vojnar},
 year         = {2009},
 title        = {A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {251},
 pages        = {27--48},
 url          = {http://dx.doi.org/10.1016/j.entcs.2009.08.026},
)
@article(abdulla:tree,
 author       = {Parosh~Aziz Abdulla and Axel Legay and Julien d'Orso and Ahmed Rezine},
 year         = {2006},
 title        = {{Tree Regular Model Checking: A Simulation-Based Approach}},
 journal      = {J. Log. Algebr. Program.},
 volume       = {69},
 number       = {1-2},
 pages        = {93--121},
 url          = {http://dx.doi.org/10.1016/j.jlap.2006.02.001},
)
@misc(tool:Timbuk,
 author       = {T.~Genet et~al.},
 year         = {2015},
 title        = {Timbuk},
 howpublished = {\url{http://www.irisa.fr/celtique/genet/timbuk/}},
)
@misc(tool:minotaut,
 author       = {R.~Almeida},
 year         = {2016},
 title        = {{minotaut}},
 howpublished = {\url{https://github.com/ric-almeida/heavy-minotaut}},
)
@inbook(Almeida2016,
 author       = {Ricardo Almeida and Luk{\'a}{\v{s}} Hol{\'i}k and Richard Mayr},
 year         = {2016},
 title        = {Reduction of Nondeterministic Tree Automata},
 pages        = {717--735},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 url          = {http://dx.doi.org/10.1007/978-3-662-49674-9_46},
)
@inproceedings(Bouajjani:modelChecking2006,
 author       = {Ahmed Bouajjani and Peter Habermehl and Adam Rogalewicz and Tom{\'a}s Vojnar},
 year         = {2006},
 title        = {Abstract Regular Tree Model Checking of Complex Dynamic Data Structures},
 booktitle    = {SAS},
 series       = {LNCS},
 volume       = {4134},
 pages        = {52--70},
 url          = {http://dx.doi.org/10.1007/11823230_5},
)
@inproceedings(mayr:advanced2013,
 author       = {Lorenzo Clemente and Richard Mayr},
 year         = {2013},
 title        = {Advanced automata minimization},
 editor       = {Roberto Giacobazzi and Radhia Cousot},
 booktitle    = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013},
 publisher    = {{ACM}},
 pages        = {63--74},
 url          = {http://doi.acm.org/10.1145/2429069.2429079},
)
@article(lorenzomayr:reductionAut2006,
 author       = {Lorenzo Clemente and Richard Mayr},
 year         = {2016},
 title        = {Efficient Reduction of Nondeterministic Automata with Application to Language Inclusion Testing},
 journal      = {Submitted to LMCS},
)
@misc(tata2008,
 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         = {2008},
 title        = {Tree Automata Techniques and Applications},
 howpublished = {Available on: \url{http://www.grappa.univ-lille3.fr/tata}},
 note         = {Release November, 18th 2008},
)
@misc(tool:Autowrite,
 author       = {I.~Durand},
 year         = {2015},
 title        = {Autowrite},
 howpublished = {\url{http://dept-info.labri.fr/~idurand/autowrite}},
)
@inproceedings(etessami:hierarchy2002,
 author       = {Kousha Etessami},
 year         = {2002},
 title        = {A Hierarchy of Polynomial-Time Computable Simulations for Automata},
 booktitle    = {CONCUR},
 series       = {LNCS},
 volume       = {2421},
 pages        = {131--144},
 url          = {http://dx.doi.org/10.1007/3-540-45694-5_10},
)
@inproceedings(Holik:shapeForest2013,
 author       = {Hol\'{\i}k, Luk{\'a}s and Ondrej Leng{\'a}l and Adam Rogalewicz and Jir\'{\i} Sim{\'a}cek and Tom{\'a}s Vojnar},
 year         = {2013},
 title        = {Fully Automated Shape Analysis Based on Forest Automata},
 booktitle    = {CAV},
 series       = {LNCS},
 volume       = {8044},
 pages        = {740--755},
 url          = {http://dx.doi.org/10.1007/978-3-642-39799-8_52},
)
@book(hosoya:xml2010,
 author       = {Haruo Hosoya},
 year         = {2010},
 title        = {Foundations of XML Processing: The Tree-Automata Approach},
 edition      = {1st},
 publisher    = {Cambridge University Press},
 address      = {New York, NY, USA},
 url          = {http://dx.doi.org/10.1017/CBO9780511762093},
)
@misc(tool:rabiturl,
 author       = {LanguageInclusion.org},
 year         = {{Access date:17.12.2015}},
 title        = {{RABIT}: Ramsey-based Buchi automata inclusion testing},
 howpublished = {\url{http://languageinclusion.org/doku.php?id=tools}},
)
@misc(tool:libvata,
 author       = {Ondrej Leng{\'a}l and Jir\'{\i} Sim{\'a}cek and Tom{\'a}s Vojnar},
 year         = {2015},
 title        = {{Libvata}: highly optimised non-deterministic finite tree automata library},
 howpublished = {\url{http://www.fit.vutbr.cz/research/groups/verifit/tools/libvata/}},
)
@misc(tool:forester,
 author       = {Ondrej Leng{\'a}l and Jir\'{\i} Sim{\'a}cek and Tom{\'a}s Vojnar and Peter Habermehl and Hol\'{\i}k, Luk{\'a}s and Adam Rogalewicz},
 year         = {2015},
 title        = {{Forester}: tool for verification of programs with pointers},
 howpublished = {\url{http://www.fit.vutbr.cz/research/groups/verifit/tools/forester/}},
)
@inproceedings(tabakov:model,
 author       = {Deian Tabakov and Moshe~Y. Vardi},
 year         = {2007},
 title        = {Model Checking Buechi Specifications},
 editor       = {Remco Loos and Szil{\'{a}}rd~Zsolt Fazekas and Mart{\'{\i}}n{-}Vide, Carlos},
 booktitle    = {{LATA} 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications.},
 volume       = {Report 35/07},
 publisher    = {Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona},
 pages        = {565--576},
)