Not-so-humble-brag: I am the first author in the first paper referenced in the linked PDF. I came up with the original PSPACE-completeness proof as well as the model of computation from which this is all based. So, yeah, it's kind of awesome to read this 22 years later while browsing HN.