@misc{indiciae5dac9850531d,
  title = {Nondeterministic testing of Sequential Quantum Logic propositions on a quantum computer},
  author = {M. S. Leifer},
  year = {2005},
  url = {https://arxiv.org/abs/quant-ph/0509193},
  note = {Source identifier: quant-ph/0509193}
}