The use of theorem-proving techniques in question-answering systems

Green, C. | Raphael, B.

Classics 

In Proc. 23rd ACM National Conference.