A Natural Language Question Answering System as a Participant in Human Q&A Portals
An application of automated reasoning in natural language question answering