| |
| 2004 | ||
|---|---|---|
| 2 | EE | Lin Hai, Jigui Sun: Knowledge Compilation Using the Extension Rule. J. Autom. Reasoning 32(2): 93-102 (2004) |
| 2003 | ||
| 1 | EE | Lin Hai, Jigui Sun, Zhang Yimin: Theorem Proving Based on the Extension Rule. J. Autom. Reasoning 31(1): 11-21 (2003) |
| 1 | Jigui Sun | [1] [2] |
| 2 | Zhang Yimin | [1] |