TY  - RPRT
TI  - Fast quantum verification for the formulas of predicate calculus
AU  - Yuri Ozhigov
PY  - 1998
UR  - https://arxiv.org/abs/quant-ph/9809015
ID  - quant-ph/9809015
ER  -