@InProceedings{tian-miyao-matsuzaki:2014:W14-24,
  author    = {Tian, Ran  and  Miyao, Yusuke  and  Matsuzaki, Takuya},
  title     = {Efficient Logical Inference for Semantic Processing},
  booktitle = {Proceedings of the ACL 2014 Workshop on Semantic Parsing},
  month     = {June},
  year      = {2014},
  address   = {Baltimore, MD},
  publisher = {Association for Computational Linguistics},
  pages     = {71--75},
  url       = {http://www.aclweb.org/anthology/W/W14/W14-2414}
}