| |
| 2008 | ||
|---|---|---|
| 2 | EE | Martin Korp, Aart Middeldorp: Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems. LATA 2008: 321-332 |
| 2007 | ||
| 1 | EE | Martin Korp, Aart Middeldorp: Proving Termination of Rewrite Systems Using Bounds. RTA 2007: 273-287 |
| 1 | Aart Middeldorp | [1] [2] |