Chistikov, D.; Lisowski, G.; Paterson, M.; Turrini, P. Convergence of Opinion Diffusion Is PSPACE-Complete. AAAI 2020, 34, 7103-7110.