@InProceedings{Stern:TAC11,
  author    = {Asher Stern, Amnon Lotan, Shachar Mirkin, Eyal Shnarch, Lili Kotlerman, Jonathan Berant and Ido Dagan},
  title     = {Knowledge and Tree-Edits in Learnable Entailment Proofs},
  booktitle = {Proceedings of TAC},
  year      = {2011},
}