A multivariate interlace polynomial and its computation for graphs of bounded clique-width. Courcelle, Bruno (2008) The Electronic Journal of Combinatorics [electronic only]
A new proof of Reiterman's theorem Grzegorz Jarzembski (1994) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Application of a Tauberian theorem to finite model theory. Kevin J. Compton (1985) Archiv für mathematische Logik und Grundlagenforschung