@inproceedings{francez-2017-proof,
    title = "A Proof-Theoretic Semantics for Transitive Verbs with an Implicit Object",
    author = "Francez, Nissim",
    editor = "Kanazawa, Makoto  and
      de Groote, Philippe  and
      Sadrzadeh, Mehrnoosh",
    booktitle = "Proceedings of the 15th Meeting on the Mathematics of Language",
    month = jul,
    year = "2017",
    address = "London, UK",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/W17-3406/",
    doi = "10.18653/v1/W17-3406",
    pages = "59--67"
}