Model completeness results for elliptic and abelian functions - Bianconi, Ricardo (Annals of Pure and Applied Logic, 1991)