"An application of automated reasoning in natural language question answering."

Ulrich Furbach, Ingo Glöckner, Björn Pelzer (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics