Toby Cathcart Burn, C.-H. Luke Ong, Steven J. Ramsay
Higher-order constrained horn clauses for verification
POPL, 2018.
@article{POPL-2018-BurnOR,
author = "Toby Cathcart Burn and C.-H. Luke Ong and Steven J. Ramsay",
doi = "10.1145/3158099",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "28",
publisher = "{ACM}",
title = "{Higher-order constrained horn clauses for verification}",
volume = 2,
year = 2018,
}