Reducing Inductive Definitions to Propositional Satisfiability.

Nikolay Pelov, Eugenia Ternovska

Browse the full ICLP paper archive.