@inproceedings{tian-etal-2014-efficient,
    title = "Efficient Logical Inference for Semantic Processing",
    author = "Tian, Ran  and
      Miyao, Yusuke  and
      Matsuzaki, Takuya",
    editor = "Artzi, Yoav  and
      Kwiatkowski, Tom  and
      Berant, Jonathan",
    booktitle = "Proceedings of the {ACL} 2014 Workshop on Semantic Parsing",
    month = jun,
    year = "2014",
    address = "Baltimore, MD",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/W14-2414/",
    doi = "10.3115/v1/W14-2414",
    pages = "71--75"
}