| 2008 | ||
|---|---|---|
| 3 | Ka-Shu Wong: Sound and Complete Inference Rules for SE-Consequence. J. Artif. Intell. Res. (JAIR) 31: 205-216 (2008) | |
| 2007 | ||
| 2 | Ka-Shu Wong: A Stronger Notion of Equivalence for Logic Programs. ICLP 2007: 453-454 | |
| 2006 | ||
| 1 | Ka-Shu Wong: Deducing Logic Programs. ICLP 2006: 471-472 | |