1. ℋ-Colouring Dichotomy in Proof Complexity. (24th April 2021) Authors: Gaysin, Azza Journal: Journal of logic and computation Issue: Volume 31:Number 5(2021) Page Start: 1206 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗