Lars Engebretsen The Nonapproximability of Non-Boolean Predicates. 114-129 2004 18 SIAM J. Discrete Math. 1 http://dx.doi.org/10.1137/S0895480100380458 db/journals/siamdm/siamdm18.html#Engebretsen04