Shimon Even, Robert Endre Tarjan. a Combinatorial Problem which is Complete in Polynomial Space. In Conference Record of Seventh Annual ACM Symposium on Theory of Computation, 5-7 May 1975, Albuquerque, New Mexico, USA. pages 66-71, ACM, 1975.
Abstract is missing.