Recognizing the repeatable configurations of time-reversible generalized Langton's ant is PSPACE-hard

From MaRDI portal