Optimizing Propositional Calculus Formulas with Regard to Questions of Deducibility

Hans Kleine Büning Ulrich Löwen

Published in: Inf. Comput. (1989)

Keyphrases

propositional calculus
answer questions
case study
open questions
mathematical formulas
databases
information retrieval
horn clauses