Patrick Simonetta Equivalence Elementaire et Decidabilite Pour des Structures du Type Groupe Agissant Sur un Groupe Abelien. 1255-1285 1998 63 J. Symb. Log. 4 db/journals/jsyml/jsyml63.html#Simonetta98