@misc{indiciae4072e892ec8a,
  title = {Higher-Order Constrained Horn Clauses and Refinement Types},
  author = {Toby Cathcart Burn and C. -H. Luke Ong and Steven J. Ramsay},
  year = {2017},
  url = {https://arxiv.org/abs/1705.06216},
  note = {Source identifier: 1705.06216}
}