@misc{indiciae434e31d32e6a,
  title = {Fast quantum verification for the formulas of predicate calculus},
  author = {Yuri Ozhigov},
  year = {1998},
  url = {https://arxiv.org/abs/quant-ph/9809015},
  note = {Source identifier: quant-ph/9809015}
}