@article{BovaMontagna13,
 author = {Simone Bova and
Franco Montagna},
 journal = {Theor. Comput. Sci.},
 pages = {1–11},
 title = {Polynomial space hardness without disjunction property},
 volume = {467},
 year = {2013}
}