Paintbucket on graphs is PSPACE-complete. - Ethan J. Saunders; Peter Selinger (CoRR, 2024)