![]() |
| 2007 | ||
|---|---|---|
| 1 | EE | Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta: Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. IJCAI 2007: 161-166 |
| 1 | Arvind Gupta | [1] |
| 2 | Yongmei Liu | [1] |
| 3 | Eugenia Ternovska (Eugenia Ternovskaia) | [1] |