Experiments with a resolution-based deductive question-answering system and a proposed clause representation for parallel search.

Search strategy and selection function for an inferential relational system

ACM Transactions on Database Systems (TODS)

Natural language and voice output for relational data base systems

ACM '78 Proceedings of the 1978 annual conference - Volume 2

Control structure of a pattern-directed search system

ACM SIGART Bulletin

Information storage and retrieval: a survey and functional description

ACM SIGIR Forum

Resolution, Refinements, and Search Strategies: A Comparative Study

IEEE Transactions on Computers

A Problem-Oriented Search Procedure for Theorem Proving

IEEE Transactions on Computers

The use of a semantic network in a deductive question-answering system

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1