| 417 | -- | 418 | Jürgen Giesl. RTA 2005 |
| 419 | -- | 473 | Delia Kesner, Stéphane Lengrand. Resource operators for lambda-calculus |
| 474 | -- | 511 | Nao Hirokawa, Aart Middeldorp. Tyrolean termination tool: Techniques and features |
| 512 | -- | 534 | Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema. On tree automata that certify termination of left-linear term rewriting systems |
| 535 | -- | 556 | Nachum Dershowitz, E. Castedo Ellerman. Leanest quasi-orderings |
| 557 | -- | 580 | Robert Nieuwenhuis, Albert Oliveras. Fast congruence closure and extensions |
| 581 | -- | 623 | Pascal Lafourcade, Denis Lugiez, Ralf Treinen. Intruder deduction for the equational theory of Abelian groups with distributive encryption |
| 624 | -- | 650 | Thierry Boy de la Tour, Mnacho Echenim. Permutative rewriting and unification |