Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. (2006)

by M Patterson, Y Liu, E Ternovska, A Gupta
Venue:In IJCAI’07,