- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke: Proving Termination of Integer Term Rewriting. RTA 2009: 32-47 |
| 1 | Stephan Falke | [1] |
| 2 | Carsten Fuhs | [1] |
| 3 | Jürgen Giesl | [1] |
| 4 | Peter Schneider-Kamp | [1] |