@InProceedings{francez:2017:MOL,
  author    = {Francez, Nissim},
  title     = {A Proof-Theoretic Semantics for Transitive Verbs with an Implicit Object},
  booktitle = {Proceedings of the 15th Meeting on the Mathematics of Language},
  month     = {July},
  year      = {2017},
  address   = {London, UK},
  publisher = {Association for Computational Linguistics},
  pages     = {59--67},
  url       = {http://www.aclweb.org/anthology/W17-3406}
}