Higher-order constrained Horn clauses for higher-order program verification. - Jerome Jochems (2020)

Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses. - Jerome Jochems (HCVS@ETAPS, 2021)

Higher-Order MSL Horn Constraints. - Jerome Jochems; Eddie Jones; Steven J. Ramsay (Proc. ACM Program. Lang., 2023)