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