TY  - RPRT
TI  - Nondeterministic testing of Sequential Quantum Logic propositions on a quantum computer
AU  - M. S. Leifer
PY  - 2005
UR  - https://arxiv.org/abs/quant-ph/0509193
ID  - quant-ph/0509193
ER  -