@incollection{FujimaItoKobayashi:2013,
    Author = {Fujima, Koichi and Ito, Sohei and Kobayashi, Naoki},
    BookTitle = {Programming Languages and Systems},
    Editor = {Shan, Chung-chieh},
    ISBN = {978-3-319-03541-3},
    Keywords = {readme},
    Pages = {17-32},
    Publisher = {Springer International Publishing},
    Series = {Lecture Notes in Computer Science},
    Title = {Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes},
    URL = {http://dx.doi.org/10.1007/978-3-319-03542-0\_2},
    Volume = {8301},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-03542-0\_2},
    date-added = {2014-04-26 13:27:36 +0000},
    date-modified = {2014-04-26 13:28:26 +0000},
    doi = {10.1007/978-3-319-03542-0_2}
}

@incollection{FujimaItoKobayashi:2013, Author = {Fujima, Koichi and Ito, Sohei and Kobayashi, Naoki}, BookTitle = {Programming Languages and Systems}, Editor = {Shan, Chung-chieh}, ISBN = {978-3-319-03541-3}, Keywords = {readme}, Pages = {17-32}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Title = {Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes}, URL = {http://dx.doi.org/10.1007/978-3-319-03542-0_2}, Volume = {8301}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-03542-0_2}, date-added = {2014-04-26 13:27:36 +0000}, date-modified = {2014-04-26 13:28:26 +0000}, doi = {10.1007/978-3-319-03542-0_2} }