@inproceedings{yoshinaga-etal-2002-formal,
    title = "A Formal Proof of Strong Equivalence for a Grammar Conversion from {LTAG} to {HPSG}-style",
    author = "Yoshinaga, Naoki  and
      Miyao, Yusuke  and
      Tsujii, Jun{'}ichi",
    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://aclanthology.org/W02-2227/",
    pages = "187--192"
}