Playing disjunctive sums is polynomial space complete
scientific article; zbMATH DE number 3744960