Rydval. Amalgamation Is Pspace-hard. 14 Sept. 2021.