Unification modulo homomorphic encryption
scientific article; zbMATH DE number 6057741
scientific article