Generic transformations of predicate encodings: constructions and applications
scientific article; zbMATH DE number 6802608