@incollection{KuwaharaSatUnnoKobayashi:2015,
    Author = {Kuwahara, Takuya and Sato, Ryosuke and Unno, Hiroshi and Kobayashi, Naoki},
    BookTitle = {Computer Aided Verification},
    Editor = {Kroening, Daniel and P{\u a}s{\u a}reanu, Corina S.},
    File = {Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs - Kuwahara, Sato, Unno, Kobayashi (0) (0) - a - a - v.pdf},
    ISBN = {978-3-319-21667-6},
    Language = {English},
    Pages = {287-303},
    Publisher = {Springer International Publishing},
    Series = {Lecture Notes in Computer Science},
    Title = {Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs},
    URL = {http://dx.doi.org/10.1007/978-3-319-21668-3\_17},
    Volume = {9207},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-21668-3\_17},
    date-added = {2016-01-12 10:46:59 +0000},
    date-modified = {2016-01-12 10:46:59 +0000},
    doi = {10.1007/978-3-319-21668-3_17}
}

@incollection{KuwaharaSatUnnoKobayashi:2015, Author = {Kuwahara, Takuya and Sato, Ryosuke and Unno, Hiroshi and Kobayashi, Naoki}, BookTitle = {Computer Aided Verification}, Editor = {Kroening, Daniel and P{\u a}s{\u a}reanu, Corina S.}, File = {Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs - Kuwahara, Sato, Unno, Kobayashi (0) (0) - a - a - v.pdf}, ISBN = {978-3-319-21667-6}, Language = {English}, Pages = {287-303}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Title = {Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs}, URL = {http://dx.doi.org/10.1007/978-3-319-21668-3_17}, Volume = {9207}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-21668-3_17}, date-added = {2016-01-12 10:46:59 +0000}, date-modified = {2016-01-12 10:46:59 +0000}, doi = {10.1007/978-3-319-21668-3_17} }