Hyper Tableaux.

Peter Baumgartner Ulrich Furbach Ilkka Niemelä

Published in: JELIA (1996)

Keyphrases

modal logic
functional dependencies
decision procedures
automated reasoning
artificial intelligence
natural language
computational complexity
search space
upper bound
software engineering