Kempson, Ruth and Meyer-Viol, Wilfried (2001) Relative clauses, left-periphery effects, and the dynamics of language processing.

Kempson, Ruth and Meyer-Viol, Wilfried and Gabbay, Dov (2000) Syntactic Computation as Labelled Deduction: WH a case study.

Kempson, Ruth and Meyer-Viol, Wilfried and Dibble, Rodger and Gabbay, Dov (1997) Indefinites as Epsilon Terms: A Labelled Deduction Account.

Kempson, Ruth and Meyer-Viol, Wilfried and Gabbay, Dov (1997) Language Understanding: A Procedural Perspective.

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