@inproceedings{Almeida:Holik:Mayr:TACAS:2016,
    Address = {Berlin, Heidelberg},
    Author = {Almeida, Ricardo and Hol{\'\i}k, Luk{\'a}{\v{s}} and Mayr, Richard},
    BookTitle = {Proc. of TACAS'16},
    Editor = {Chechik, Marsha and Raskin, Jean-Fran{\c{c}}ois},
    File = {Reduction of Nondeterministic Tree Automata - Almeida, Holík, Mayr (0) (0) - a - a - n.pdf},
    ISBN = {978-3-662-49674-9},
    Pages = {717--735},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Reduction of Nondeterministic Tree Automata},
    URL = {http://dx.doi.org/10.1007/978-3-662-49674-9\_46},
    Year = {2016},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-49674-9\_46},
    date-added = {2016-05-13 05:43:07 +0000},
    date-modified = {2016-11-14 11:05:25 +0000},
    file-2 = {Reduction of Nondeterministic Tree Automata - Almeida, Holík, Mayr (1) (0) - a - a - n.pdf},
    doi = {10.1007/978-3-662-49674-9_46}
}

@inproceedings{Almeida:Holik:Mayr:TACAS:2016, Address = {Berlin, Heidelberg}, Author = {Almeida, Ricardo and Hol{\'\i}k, Luk{\'a}{\v{s}} and Mayr, Richard}, BookTitle = {Proc. of TACAS'16}, Editor = {Chechik, Marsha and Raskin, Jean-Fran{\c{c}}ois}, File = {Reduction of Nondeterministic Tree Automata - Almeida, Holík, Mayr (0) (0) - a - a - n.pdf}, ISBN = {978-3-662-49674-9}, Pages = {717--735}, Publisher = {Springer Berlin Heidelberg}, Title = {Reduction of Nondeterministic Tree Automata}, URL = {http://dx.doi.org/10.1007/978-3-662-49674-9_46}, Year = {2016}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-49674-9_46}, date-added = {2016-05-13 05:43:07 +0000}, date-modified = {2016-11-14 11:05:25 +0000}, file-2 = {Reduction of Nondeterministic Tree Automata - Almeida, Holík, Mayr (1) (0) - a - a - n.pdf}, doi = {10.1007/978-3-662-49674-9_46} }