1. Entailment: The Logic of Relevance and Necessity;Anderson,1975
2. The Logic of Questions and Answers;Belnap,1976
3. Asking queries about frames;Borgida,1996
4. Knowledge Representation and Reasoning;Brachman,2004
5. D.T. Burhans, A question answering interpretation of resolution refutation, PhD Dissertation, Technical Report 2002-03, Department of Computer Science, State University of New York at Buffalo, 2002