======News======
  * Ricardo Almeida, Lukas Holik, Richard Mayr. Reduction of Nondeterministic Tree Automata. TACAS 2016, LNCS 9636. Eindhoven, The Netherlands. 2016. [[http://arxiv.org/abs/1512.08823|Arxiv]].
  * Our paper "Advanced Automata Minimization" is accepted at [[http://popl.mpi-sws.org/2013/|POPL 2013]]. For an extended version see [[http://www.inf.ed.ac.uk/publications/report/1414.html|Technical report EDI-INF-RR-1414]]. (2012/10/29)
  * Our paper "Advanced Ramsey-based Buchi Automata Inclusion Testing" is accepted to [[http://concur2011.rwth-aachen.de/about/concuraccepted|CONCUR]]. (2011/5/30)