TY  - RPRT
TI  - A syntactic tool for proving hardness in the Second Level of the Polynomial-Time Hierarchy
AU  - Edwin Pin
AU  - Nerio Borges
PY  - 2017
UR  - https://arxiv.org/abs/1707.09327
ID  - 1707.09327
ER  -