@inproceedings{TsukadaOng:LICS:2014,
    Address = {New York, NY, USA},
    Author = {Tsukada, Takeshi and Ong, C.-H. Luke},
    BookTitle = {Proc. of LICS'14},
    File = {BibDesk/inproceedings/Compositional Higher-order Model Checking via \Ω-regular Games over B\ÖHm Trees - Tsukada, Ong (0).pdf},
    ISBN = {978-1-4503-2886-9},
    Keywords = {B\"{o}hm tree, game semantics, higher-order model checking, intersection type, readme},
    Location = {Vienna, Austria},
    Pages = {78:1--78:10},
    Publisher = {ACM},
    Series = {CSL-LICS '14},
    Title = {{Compositional Higher-Order Model Checking via {$\omega$}-Regular Games over Böhm Trees}},
    URL = {http://doi.acm.org/10.1145/2603088.2603133},
    Year = {2014},
    acmid = {2603133},
    articleno = {78},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2603088.2603133},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2603088.2603133},
    date-added = {2015-03-30 13:13:43 +0000},
    date-modified = {2017-05-21 15:06:19 +0000},
    file-2 = {Compositional Higher-Order Model Checking via Omega-Regular Games over Boehm Trees - Tsukada, Ong (0) (0) - a - a - t.pdf},
    file-3 = {luke (0) - a - a - t.pdf},
    numpages = {10},
    doi = {10.1145/2603088.2603133}
}

@inproceedings{TsukadaOng:LICS:2014, Address = {New York, NY, USA}, Author = {Tsukada, Takeshi and Ong, C.-H. Luke}, BookTitle = {Proc. of LICS'14}, File = {BibDesk/inproceedings/Compositional Higher-order Model Checking via \Ω-regular Games over B\ÖHm Trees - Tsukada, Ong (0).pdf}, ISBN = {978-1-4503-2886-9}, Keywords = {B\"{o}hm tree, game semantics, higher-order model checking, intersection type, readme}, Location = {Vienna, Austria}, Pages = {78:1--78:10}, Publisher = {ACM}, Series = {CSL-LICS '14}, Title = {{Compositional Higher-Order Model Checking via {$\omega$}-Regular Games over Böhm Trees}}, URL = {http://doi.acm.org/10.1145/2603088.2603133}, Year = {2014}, acmid = {2603133}, articleno = {78}, bdsk-url-1 = {http://doi.acm.org/10.1145/2603088.2603133}, bdsk-url-2 = {http://dx.doi.org/10.1145/2603088.2603133}, date-added = {2015-03-30 13:13:43 +0000}, date-modified = {2017-05-21 15:06:19 +0000}, file-2 = {Compositional Higher-Order Model Checking via Omega-Regular Games over Boehm Trees - Tsukada, Ong (0) (0) - a - a - t.pdf}, file-3 = {luke (0) - a - a - t.pdf}, numpages = {10}, doi = {10.1145/2603088.2603133} }