@incollection{Kibble.etal01,
author = "Kibble, Rodger and Meyer-Viol, Wilfried and Gabbay, Dov and Kempson, Ruth",
booktitle = "Computing Meaning: Current Issues in Computational Semantics",
editor = "Bunt, H. and R. Muskens",
publisher = "Kluwer Academic Publishers",
title = "{E}psilon {T}erms: a {L}abelled {D}eduction {A}ccount",
year = "2001",
}