@incollection{GenestMuschollSerreZeitoun:2008,
    Author = {Genest, Blaise and Muscholl, Anca and Serre, Olivier and Zeitoun, Marc},
    BookTitle = {Automated Technology for Verification and Analysis},
    Editor = {Cha, Sungdeok(Steve) and Choi, Jin-Young and Kim, Moonzoo and Lee, Insup and Viswanathan, Mahesh},
    File = {Tree Pattern Rewriting Systems - Genest, Muscholl, Serre, Zeitoun (2) (0) - a - a - o.pdf},
    ISBN = {978-3-540-88386-9},
    Pages = {332-346},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Tree Pattern Rewriting Systems},
    URL = {http://dx.doi.org/10.1007/978-3-540-88387-6\_29},
    Volume = {5311},
    Year = {2008},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-88387-6\_29},
    date-added = {2014-04-07 11:45:23 +0000},
    date-modified = {2014-04-07 11:45:23 +0000},
    file-2 = {Tree Pattern Rewriting Systems - Genest, Muscholl, Serre, Zeitoun (1) (0) - a - a - o.pdf},
    file-3 = {Tree Pattern Rewriting Systems - Genest, Muscholl, Serre, Zeitoun (0) (0) - a - a - o.pdf},
    doi = {10.1007/978-3-540-88387-6_29}
}

@incollection{GenestMuschollSerreZeitoun:2008, Author = {Genest, Blaise and Muscholl, Anca and Serre, Olivier and Zeitoun, Marc}, BookTitle = {Automated Technology for Verification and Analysis}, Editor = {Cha, Sungdeok(Steve) and Choi, Jin-Young and Kim, Moonzoo and Lee, Insup and Viswanathan, Mahesh}, File = {Tree Pattern Rewriting Systems - Genest, Muscholl, Serre, Zeitoun (2) (0) - a - a - o.pdf}, ISBN = {978-3-540-88386-9}, Pages = {332-346}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Tree Pattern Rewriting Systems}, URL = {http://dx.doi.org/10.1007/978-3-540-88387-6_29}, Volume = {5311}, Year = {2008}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-88387-6_29}, date-added = {2014-04-07 11:45:23 +0000}, date-modified = {2014-04-07 11:45:23 +0000}, file-2 = {Tree Pattern Rewriting Systems - Genest, Muscholl, Serre, Zeitoun (1) (0) - a - a - o.pdf}, file-3 = {Tree Pattern Rewriting Systems - Genest, Muscholl, Serre, Zeitoun (0) (0) - a - a - o.pdf}, doi = {10.1007/978-3-540-88387-6_29} }