Application of a Tauberian theorem to finite model theory. Kevin J. Compton — 1985 Archiv für mathematische Logik und Grundlagenforschung
A van der Waerden variant. Compton, Kevin J. — 1999 The Electronic Journal of Combinatorics [electronic only]