@inproceedings{barry-etal-1991-proof,
    title = "Proof Figures and Structural Operators for Categorial Grammar",
    author = "Barry, Guy  and
      Hepple, Mark  and
      Leslie, Neil  and
      Morrill, Glyn",
    editor = {Kunze, J{\"u}rgen  and
      Reimann, Dorothee},
    booktitle = "Fifth Conference of the {E}uropean Chapter of the Association for Computational Linguistics",
    month = apr,
    year = "1991",
    address = "Berlin, Germany",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/E91-1035/"
}