TY  - RPRT
TI  - Logic programming as quantum measurement
AU  - R. R. Zapatrin
PY  - 1995
DO  - 10.1007/bf00676296
UR  - https://arxiv.org/abs/quant-ph/9506041
ID  - quant-ph/9506041
ER  -