@inproceedings{Qlogic11,
  author = {Christian Herrmann and Martin Ziegler},
  pages = {175--184},
  title = {Computational Complexity of Quantum Satisfiability},
  organization = {IEEE},
  booktitle = {Proc. 26th Conference on Logic in Computer Science (LiCS)},
  year = {2011},
}