David Lichtenstein Michael Sipser GO Is Polynomial-Space Hard. 393-401 1980 27 J. ACM 2 http://doi.acm.org/10.1145/322186.322201 db/journals/jacm/jacm27.html#LichtensteinS80