SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions.

Maarten Mariën Johan Wittocx Marc Denecker Maurice Bruynooghe SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. 211-224 2008 SAT http://dx.doi.org/10.1007/978-3-540-79719-7_20 conf/sat/2008 db/conf/sat/sat2008.html#MarienWDB08