Infinitary stationary logic and abelian groups Paul Eklof, Allan Mekler (1981) Fundamenta Mathematicae
Interpolation in Logiken monotoner Systeme. H.-D. Ebbinghaus, M. Ziegler (1982) Archiv für mathematische Logik und Grundlagenforschung