The \(Q^*\) algorithm - a search strategy for a deductive question-answering system
scientific article; zbMATH DE number 3443196