@incollection{abdulla06,
    Author = {Abdulla, ParoshAziz and Kaati, Lisa and H{\"o}gberg, Johanna},
    BookTitle = {Implementation and Application of Automata},
    Editor = {Ibarra, OscarH. and Yen, Hsu-Chun},
    File = {Bisimulation Minimization of Tree Automata - Abdulla, Kaati, Högberg (1) (0) - a - a - t.pdf},
    ISBN = {978-3-540-37213-4},
    Keywords = {simulation preoder and tree automata},
    Pages = {173-185},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Bisimulation Minimization of Tree Automata},
    URL = {http://dx.doi.org/10.1007/11812128\_17},
    Volume = {4094},
    Year = {2006},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11812128\_17},
    date-added = {2013-04-09 15:15:12 +0000},
    date-modified = {2013-04-09 15:19:35 +0000},
    file-2 = {Bisimulation Minimization of Tree Automata - Abdulla, Kaati, Högberg (2) (0) - a - a - t.pdf},
    doi = {10.1007/11812128_17}
}

@incollection{abdulla06, Author = {Abdulla, ParoshAziz and Kaati, Lisa and H{\"o}gberg, Johanna}, BookTitle = {Implementation and Application of Automata}, Editor = {Ibarra, OscarH. and Yen, Hsu-Chun}, File = {Bisimulation Minimization of Tree Automata - Abdulla, Kaati, Högberg (1) (0) - a - a - t.pdf}, ISBN = {978-3-540-37213-4}, Keywords = {simulation preoder and tree automata}, Pages = {173-185}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Bisimulation Minimization of Tree Automata}, URL = {http://dx.doi.org/10.1007/11812128_17}, Volume = {4094}, Year = {2006}, bdsk-url-1 = {http://dx.doi.org/10.1007/11812128_17}, date-added = {2013-04-09 15:15:12 +0000}, date-modified = {2013-04-09 15:19:35 +0000}, file-2 = {Bisimulation Minimization of Tree Automata - Abdulla, Kaati, Högberg (2) (0) - a - a - t.pdf}, doi = {10.1007/11812128_17} }