@InProceedings{stern-EtAl:2012:ACL2012,
  author    = {Stern, Asher  and  Stern, Roni  and  Dagan, Ido  and  Felner, Ariel},
  title     = {Efficient Search for Transformation-based Inference},
  booktitle = {Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)},
  month     = {July},
  year      = {2012},
  address   = {Jeju Island, Korea},
  publisher = {Association for Computational Linguistics},
  pages     = {283--291},
  url       = {http://www.aclweb.org/anthology/P12-1030}
}