Integrating Inductive Definitions in SAT.

Maarten Marin, Johan Wittocx, Marc Denecker

Browse the full LPAR paper archive.