@incollection{MatsumotoKobayashiUnno:2015,
    Author = {Matsumoto, Yuma and Kobayashi, Naoki and Unno, Hiroshi},
    BookTitle = {Programming Languages and Systems},
    Editor = {Feng, Xinyu and Park, Sungwoo},
    ISBN = {978-3-319-26528-5},
    Language = {English},
    Pages = {295-312},
    Publisher = {Springer International Publishing},
    Series = {Lecture Notes in Computer Science},
    Title = {Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs},
    URL = {http://dx.doi.org/10.1007/978-3-319-26529-2\_16},
    Volume = {9458},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-26529-2\_16},
    date-added = {2016-01-12 10:44:36 +0000},
    date-modified = {2016-01-12 10:44:36 +0000},
    doi = {10.1007/978-3-319-26529-2_16}
}

@incollection{MatsumotoKobayashiUnno:2015, Author = {Matsumoto, Yuma and Kobayashi, Naoki and Unno, Hiroshi}, BookTitle = {Programming Languages and Systems}, Editor = {Feng, Xinyu and Park, Sungwoo}, ISBN = {978-3-319-26528-5}, Language = {English}, Pages = {295-312}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Title = {Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs}, URL = {http://dx.doi.org/10.1007/978-3-319-26529-2_16}, Volume = {9458}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-26529-2_16}, date-added = {2016-01-12 10:44:36 +0000}, date-modified = {2016-01-12 10:44:36 +0000}, doi = {10.1007/978-3-319-26529-2_16} }