Talking About Trees. - Patrick Blackburn; Claire Gardent; Wilfried Meyer-Viol (EACL, 1993)

Linguistics, Logic and Finite Trees. - Patrick Blackburn; Wilfried Meyer-Viol (Log. J. IGPL, 1994)

A Proof System for Finite Trees. - Patrick Blackburn; Wilfried Meyer-Viol; Maarten de Rijke (CSL, 1995)

A Proof-theoretic Treatment of Assignments. - Wilfried Meyer-Viol (Log. J. IGPL, 1995)

Language Understanding: A Procedural Perspective. - Ruth Kempson; Wilfried Meyer-Viol; Dov M. Gabbay (LACL, 1996)

Sequential Construction of Logical Forms. - Wilfried Meyer-Viol (LACL, 1998)

Dynamic syntax - the flow of language understanding. - Ruth Kempson; Wilfried Meyer-Viol; Dov M. Gabbay (Blackwell, 2001)

Sequence-Dominance Grammars. - Wilfried Meyer-Viol; Ruth Kempson (We Will Show Them! (2), 2005)

Incrementality and intention-recognition in utterance processing. - Eleni Gregoromichelaki; Ruth Kempson; Matthew Purver; Gregory Mills; Ronnie Cann; Wilfried Meyer-Viol; Patrick G. T. Healey (Dialogue Discourse, 2011)

Natural-Language Syntax as Procedures for Interpretation: The Dynamics of Ellipsis Construal. - Ruth Kempson; Eleni Gregoromichelaki; Wilfried Meyer-Viol; Matthew Purver; Graham White 001; Ronnie Cann (PRELUDE Project, 2011)