Constructing List Homomorphisms from Proofs.

Yun-Yan Chi, Shin-Cheng Mu

Browse the full APLAS paper archive.