Lars Engebretsen Jonas Holmerin Three-query PCPs with perfect completeness over non-Boolean domains. 46-75 2005 27 Random Struct. Algorithms 1 http://dx.doi.org/10.1002/rsa.20050 db/journals/rsa/rsa27.html#EngebretsenH05