@incollection{Meyer-Viol.etal97,
author = "Meyer-Viol, Wilfried and Kibble, Rodger and Kempson, Ruth and Gabbay, Dov",
booktitle = "Computing Meaning Vol 1: Current Issues in Computational Semantics",
editor = "Bunt, H. and R. Muskens",
publisher = "Kluwer Academic Publishers",
series = "Studies in Linguistics {\&} Philosophy",
title = "{I}ndefinites as {E}psilon {T}erms: {A} {L}abelled {D}eduction {A}ccount",
url = "http://www.dynamicsyntax.org/papers/MeyerViolEtAl-Indefinites-1997.pdf",
volume = "73",
year = "1999",
}