@misc{indiciae2a2a24f6501b,
  title = {A state vector algebra for algorithmic implementation of second-order logic},
  author = {Dmitry Lesnik and Tobias Schaefer},
  year = {2015},
  url = {https://arxiv.org/abs/1312.2551},
  note = {Source identifier: 1312.2551}
}