@misc{indiciae2f61b7fa3d4f,
  title = {Programming Quantum Computers Using Design Automation},
  author = {Mathias Soeken and Thomas Häner and Martin Roetteler},
  year = {2018},
  url = {https://arxiv.org/abs/1803.01022},
  note = {Source identifier: 1803.01022}
}