Extending ω-consistent sets to maximally consistent, ω-complete sets. - George Weaver; Michael Thau; Hugues Leblanc (Math. Log. Q., 1990)

Henkin's Completeness Proof: Forty Years Later. - Hugues Leblanc; Peter Roeper; Michael Thau; George Weaver (Notre Dame J. Formal Log., 1991)

The omega-rule. - Michael Thau (Stud Logica, 1992)