@misc{indiciaea599332bdc8a,
  title = {DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction},
  author = {Shigeru Yamashita and Shin-ichi Minato and D. Michael Miller},
  year = {2008},
  doi = {10.1093/ietfec/e91-a.12.3793},
  url = {https://arxiv.org/abs/0809.2336},
  note = {Source identifier: 0809.2336}
}