66
Voted
CADE
2010
Springer
14 years 6 months ago
2010
Springer
x-free and employs a novel clausal form that abstracts away from propositional reasoning. It comes with an elegant correctness proof. We discuss some optimizations for decision pro...