@inproceedings{HagueKochemsOng:POPL:2016,
    Address = {New York, NY, USA},
    Author = {Hague, Matthew and Kochems, Jonathan and Ong, C.-H. Luke},
    BookTitle = {Proc. of POPL'16},
    File = {Unboundedness and Downward Closures of Higher-order Pushdown Automata - Hague, Kochems, Ong (1) (0) - a - a - m.pdf},
    ISBN = {978-1-4503-3549-2},
    Keywords = {Automata, Concurrency, Downwards Closures, Formal Languages, Functional Programs, Higher-Order Programs, Model-Checking, Parikh Images, Pushdown Automata, Verification},
    Location = {St. Petersburg, FL, USA},
    Pages = {151--163},
    Publisher = {ACM},
    Series = {POPL 2016},
    Title = {Unboundedness and Downward Closures of Higher-order Pushdown Automata},
    URL = {http://doi.acm.org/10.1145/2837614.2837627},
    Year = {2016},
    acmid = {2837627},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2837614.2837627},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2837614.2837627},
    date-added = {2016-01-16 15:08:40 +0000},
    date-modified = {2020-02-06 17:59:41 +0100},
    numpages = {13},
    doi = {10.1145/2837614.2837627}
}

@inproceedings{HagueKochemsOng:POPL:2016, Address = {New York, NY, USA}, Author = {Hague, Matthew and Kochems, Jonathan and Ong, C.-H. Luke}, BookTitle = {Proc. of POPL'16}, File = {Unboundedness and Downward Closures of Higher-order Pushdown Automata - Hague, Kochems, Ong (1) (0) - a - a - m.pdf}, ISBN = {978-1-4503-3549-2}, Keywords = {Automata, Concurrency, Downwards Closures, Formal Languages, Functional Programs, Higher-Order Programs, Model-Checking, Parikh Images, Pushdown Automata, Verification}, Location = {St. Petersburg, FL, USA}, Pages = {151--163}, Publisher = {ACM}, Series = {POPL 2016}, Title = {Unboundedness and Downward Closures of Higher-order Pushdown Automata}, URL = {http://doi.acm.org/10.1145/2837614.2837627}, Year = {2016}, acmid = {2837627}, bdsk-url-1 = {http://doi.acm.org/10.1145/2837614.2837627}, bdsk-url-2 = {http://dx.doi.org/10.1145/2837614.2837627}, date-added = {2016-01-16 15:08:40 +0000}, date-modified = {2020-02-06 17:59:41 +0100}, numpages = {13}, doi = {10.1145/2837614.2837627} }