Higher-order constrained horn clauses for verification (Proceedings of the ACM on Programming Languages, 2017)

(untitled) - Cathcart Burn, T; Ong, C; Ramsay, S