@misc{indiciaef7faeb22b2c7,
  title = {Language and Proofs for Higher-Order SMT (Work in Progress)},
  author = {Haniel Barbosa and Jasmin Christian Blanchette and Simon Cruanes and Daniel El Ouraoui and Pascal Fontaine},
  year = {2017},
  doi = {10.4204/eptcs.262.3},
  url = {https://arxiv.org/abs/1712.01486},
  note = {Source identifier: 1712.01486}
}