We show that every finite Abelian algebra A from congruence-permutable
varieties admits a full duality. In the process, we prove that A also allows a
strong duality, and that the duality may be induced by a dualizing structure of
finite type. We give an explicit bound on the arities of the partial and total
operations appearing in the dualizing structure. In addition, we show that the
enriched partial hom-clone of A is finitely generated as a clone

Bentz, Wolfram