Generic Transformations of Predicate Encodings: Constructions and Applications | Publicación