| |
| * | 2009 | |
|---|---|---|
| 4 | EE | Paolo Pilozzi, Danny De Schreye: Proving Termination by Invariance Relations. ICLP 2009: 499-503 |
| 3 | EE | Paolo Pilozzi, Danny De Schreye: Automating Termination Proofs for CHR. ICLP 2009: 504-508 |
| 2 | EE | Paolo Pilozzi: Research Summary: Termination of CHR. ICLP 2009: 534-535 |
| 2008 | ||
| 1 | EE | Paolo Pilozzi, Danny De Schreye: Termination Analysis of CHR Revisited. ICLP 2008: 501-515 |
| 1 | Danny De Schreye | [1] [3] [4] |