Nikolay Pelov Eugenia Ternovska Reducing Inductive Definitions to Propositional Satisfiability. 221-234 2005 conf/iclp/2005 ICLP http://dx.doi.org/10.1007/11562931_18 db/conf/iclp/iclp2005.html#PelovT05