| 2006 | ||
|---|---|---|
| 2 | Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang: First-Order Loop Formulas for Normal Logic Programs. KR 2006: 298-307 | |
| 2004 | ||
| 1 | EE | Yisong Wang, Mingyi Zhang: Revision Programs with Explicit Negation. ICTAC 2004: 403-414 |
| 1 | Yin Chen | [2] |
| 2 | Fangzhen Lin | [2] |
| 3 | Mingyi Zhang | [1] [2] |