Title: Strategies for applying deductive procedures in automated question-answering systems