Solving a PSPACE-complete problem with cP systems
scientific article; zbMATH DE number 7395476