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.

Kempson, Ruth and Finger, Marcelo and Kibble, Rodger and Gabbay, Dov (1997) Parsing Natural Language using LDS: A Prototype.