Ruud Stegers, Annette ten Teije, Frank van Harmelen. From Natural Language to Formal Proof Goal. In Steffen Staab, Vojtech Svátek, editors, Managing Knowledge in a World of Networks, 15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 2-6, 2006, Proceedings. Volume 4248 of Lecture Notes in Computer Science, pages 51-58, Springer, 2006. [doi]
Abstract is missing.