Free Boolean Algebra.

Published in: Arch. Formal Proofs (2010)

Keyphrases

boolean algebra
constraint query languages
cardinality constraints
theorem prover
set theory
objective function
relational databases