6
Model-Checking Clause Sets and Explaining the Absence of Proofs with
h1mc
6.1 Theoretical Background
6.1
Theoretical Background
