Higher-Order Constrained Horn Clauses and Refinement Types. - Toby Cathcart Burn; C.-H. Luke Ong; Steven J. Ramsay (CoRR, 2017)

Higher-order constrained horn clauses for verification. - Toby Cathcart Burn; C.-H. Luke Ong; Steven J. Ramsay (Proc. ACM Program. Lang., 2018)

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses. - Toby Cathcart Burn; Luke Ong; Steven J. Ramsay; Dominik Wagner 001 (LICS, 2021)