@inproceedings{logicalinferenceondependencybased,
  title = {Logical Inference on Dependency-based Compositional Semantics},
  author = {Ran Tian and Yusuke Miyao and Takuya Matsuzaki},
  year = {2014},
  booktitle = {ACL 2014 6},
  url = {https://aclanthology.org/P14-1008},
}