@misc{indiciae1772ea83b6ef,
  title = {Defunctionalization of Higher-Order Constrained Horn Clauses},
  author = {Long Pham and Steven J. Ramsay and C. -H. Luke Ong},
  year = {2019},
  url = {https://arxiv.org/abs/1810.03598},
  note = {Source identifier: 1810.03598}
}