@inproceedings{palm-2002-proof,
    title = "A Proof System for {T}ree {A}djoining {G}rammars",
    author = "Palm, Adi",
    editor = "Frank, Robert",
    booktitle = "Proceedings of the Sixth International Workshop on Tree Adjoining Grammar and Related Frameworks ({TAG}+6)",
    month = may,
    year = "2002",
    address = "Universit{\'a} di Venezia",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/W02-2219/",
    pages = "137--144"
}