PSPACE–complete (2001)

by Volker Diekert , Claudio Gutiérrez , Christian Hagenah