Title: The solvability of the decision problem for classes of proper formulas and related results
Subjects: Database management, Predicate calculus, Question-answering systems