Efficient Logical Inference for Semantic Processing Ran Tian author Yusuke Miyao author Takuya Matsuzaki author 2014-06 text Proceedings of the ACL 2014 Workshop on Semantic Parsing Yoav Artzi editor Tom Kwiatkowski editor Jonathan Berant editor Association for Computational Linguistics Baltimore, MD conference publication tian-etal-2014-efficient 10.3115/v1/W14-2414 https://aclanthology.org/W14-2414/ 2014-06 71 75