@misc{indiciae6b44edf86bc5,
  title = {Characterization of quantum states in predicative logic},
  author = {Giulia Battilotti},
  year = {2011},
  doi = {10.1007/s10773-011-0899-3},
  url = {https://arxiv.org/abs/1102.1530},
  note = {Source identifier: 1102.1530}
}