1.Constructing List Homomorphisms from ProofsYun-Yan Chi Shin-Cheng MuIIS, Academia Sinica, TaiwanSeptember 17, 2012 Yun-Yan Chi, Shin-Cheng MuAPLAS 2011 1/ 252. PreludePreliminaries…
