Constructing List Homomorphisms from Proofs. - Yun-Yan Chi; Shin-Cheng Mu (APLAS, 2011)