TY  - RPRT
TI  - Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp
AU  - Michael Butler
AU  - Pieter Hartel
PY  - 1998
UR  - https://arxiv.org/abs/quant-ph/9810066
ID  - quant-ph/9810066
ER  -