@misc{indiciae2f7bf6bc4d05,
  title = {A syntactic tool for proving hardness in the Second Level of the Polynomial-Time Hierarchy},
  author = {Edwin Pin and Nerio Borges},
  year = {2017},
  url = {https://arxiv.org/abs/1707.09327},
  note = {Source identifier: 1707.09327}
}