@incollection{TeraoKobayashi:2014,
    Author = {Terao, Taku and Kobayashi, Naoki},
    BookTitle = {Programming Languages and Systems},
    Editor = {Garrigue, Jacques},
    ISBN = {978-3-319-12735-4},
    Language = {English},
    Pages = {354-371},
    Publisher = {Springer International Publishing},
    Series = {Lecture Notes in Computer Science},
    Title = {A ZDD-Based Efficient Higher-Order Model Checking Algorithm},
    URL = {http://dx.doi.org/10.1007/978-3-319-12736-1\_19},
    Volume = {8858},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-12736-1\_19},
    date-added = {2016-01-12 10:50:46 +0000},
    date-modified = {2016-01-12 10:50:46 +0000},
    doi = {10.1007/978-3-319-12736-1_19}
}

@incollection{TeraoKobayashi:2014, Author = {Terao, Taku and Kobayashi, Naoki}, BookTitle = {Programming Languages and Systems}, Editor = {Garrigue, Jacques}, ISBN = {978-3-319-12735-4}, Language = {English}, Pages = {354-371}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Title = {A ZDD-Based Efficient Higher-Order Model Checking Algorithm}, URL = {http://dx.doi.org/10.1007/978-3-319-12736-1_19}, Volume = {8858}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-12736-1_19}, date-added = {2016-01-12 10:50:46 +0000}, date-modified = {2016-01-12 10:50:46 +0000}, doi = {10.1007/978-3-319-12736-1_19} }