Decidability and undecidability of theories of abelian groups with predicates for subgroups Walter Baur (1975) Compositio Mathematica
Die Struktur kartesischer Produkte ganzer Zahlen modulo kartesische Produkte ganzer Zahlen. Manfred Dugas, Rüdiger Göbel (1979) Mathematische Zeitschrift