@misc{indiciae832df0115f1a,
  title = {Higher-order Program Verification as Satisfiability Modulo Theories with Algebraic Data-types},
  author = {Nikolaj Bjorner and Ken McMillan and Andrey Rybalchenko},
  year = {2013},
  url = {https://arxiv.org/abs/1306.5264},
  note = {Source identifier: 1306.5264}
}