@misc{indiciaed1d62fe9ecfc,
  title = {Formal Verification using Second-Quantized Horn Clauses},
  author = {Radhakrishnan Balu},
  year = {2018},
  url = {https://arxiv.org/abs/1806.09042},
  note = {Source identifier: 1806.09042}
}