Murray Patterson Yongmei Liu Eugenia Ternovska Arvind Gupta Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. 161-166 2007 conf/ijcai/2007 IJCAI http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-024.pdf db/conf/ijcai/ijcai2007.html#PattersonLTG07