@article{CathcartBurn:2017:HCH:3177123.3158099,
    Address = {New York, NY, USA},
    Author = {Cathcart Burn, Toby and Ong, C.-H. Luke and Ramsay, Steven J.},
    File = {Higher-Order Constrained Horn Clauses for Verification - popl18-p253 (0) - a - a - f.pdf},
    ISSN = {2475-1421},
    Journal = {Proc. ACM Program. Lang.},
    Keywords = {constrained Horn clauses, higher-order program verification, refinement types},
    Month = {December},
    Number = {POPL},
    Pages = {11:1--11:28},
    Publisher = {ACM},
    Title = {Higher-order Constrained Horn Clauses for Verification},
    URL = {http://doi.acm.org/10.1145/3158099},
    Volume = {2},
    Year = {2017},
    acmid = {3158099},
    articleno = {11},
    bdsk-url-1 = {http://doi.acm.org/10.1145/3158099},
    bdsk-url-2 = {https://doi.org/10.1145/3158099},
    date-added = {2019-08-15 11:28:27 +0200},
    date-modified = {2019-08-15 11:28:27 +0200},
    issue_date = {January 2018},
    numpages = {28},
    doi = {10.1145/3158099}
}

@article{CathcartBurn:2017:HCH:3177123.3158099, Address = {New York, NY, USA}, Author = {Cathcart Burn, Toby and Ong, C.-H. Luke and Ramsay, Steven J.}, File = {Higher-Order Constrained Horn Clauses for Verification - popl18-p253 (0) - a - a - f.pdf}, ISSN = {2475-1421}, Journal = {Proc. ACM Program. Lang.}, Keywords = {constrained Horn clauses, higher-order program verification, refinement types}, Month = {December}, Number = {POPL}, Pages = {11:1--11:28}, Publisher = {ACM}, Title = {Higher-order Constrained Horn Clauses for Verification}, URL = {http://doi.acm.org/10.1145/3158099}, Volume = {2}, Year = {2017}, acmid = {3158099}, articleno = {11}, bdsk-url-1 = {http://doi.acm.org/10.1145/3158099}, bdsk-url-2 = {https://doi.org/10.1145/3158099}, date-added = {2019-08-15 11:28:27 +0200}, date-modified = {2019-08-15 11:28:27 +0200}, issue_date = {January 2018}, numpages = {28}, doi = {10.1145/3158099} }