From Natural Language to Formal Proof Goal. Stegers, R., Teije, A., & Harmelen, F. In Managing Knowledge in a World of Networks, 15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 2-6, 2006, Proceedings, pages 51-58, 2006.
From Natural Language to Formal Proof Goal [link]Link  bibtex   
@inproceedings{ DBLP:conf/ekaw/StegersTH06,
  author    = {Ruud Stegers and Annette Teije and Frank Harmelen},
  title     = {From Natural Language to Formal Proof Goal},
  booktitle   = {Managing Knowledge in a World of Networks, 15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 2-6, 2006, Proceedings},
  pages   = {51-58},
  ee   = {http://dx.doi.org/10.1007/11891451_8} ,
  year   = {2006}
}

Downloads: 0