Remark on a System of Bernays.

Published in: J. Symb. Log. (1963)

Keyphrases

satisfiability problem
bounded model checking
databases
database
datalog programs
database systems
domain specific
multi agent
relational databases
state space
orders of magnitude