Linear and Unit-Resulting Refutations for Horn Theories.

Peter Baumgartner

Published in: J. Autom. Reason. (1996)

Keyphrases

horn theories
canonical representation
database
information retrieval
information systems
functional dependencies
linear systems
data sets
control system
least squares
data types
closed form