| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Dean Voets, Danny De Schreye: A New Approach to Non-termination Analysis of Logic Programs. ICLP 2009: 220-234 |
| 2 | EE | Dean Voets: Research Summary: Non-termination Analysis of Logic Programs. ICLP 2009: 553-554 |
| 1 | EE | Yi-Dong Shen, Danny De Schreye, Dean Voets: Termination Prediction for General Logic Programs CoRR abs/0905.2004: (2009) |
| 1 | Danny De Schreye | [1] [3] |
| 2 | Yi-Dong Shen | [1] |