"Reducing Inductive Definitions to Propositional Satisfiability."

Nikolay Pelov, Eugenia Ternovska (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics