Infinitary varieties of structures closed under the formation of complex structures G. Grätzer, S. Whitney (1984) Colloquium Mathematicae
Initial models and Horn clause axiomatizability. Kapetanović, M. (1999) Publications de l'Institut Mathématique. Nouvelle Série
Interpolation in Logiken monotoner Systeme. H.-D. Ebbinghaus, M. Ziegler (1982) Archiv für mathematische Logik und Grundlagenforschung