Login / Signup

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

Maarten MariënJohan WittocxMarc DeneckerMaurice Bruynooghe
Published in: SAT (2008)
Keyphrases