WG16 accepted papers

Regular papers

Maria Paola Bonacina, U Iowa, USA
Deciding satisfiability problems by rewrite-based deduction: Experiments in the theory of arrays

Nachum Dershowitz, Tel Aviv U, Israel
Progress report

Jürgen Giesl, Aachen U of Techn., Germany
Modular termination proofs using dependency pairs

Bernhard Gramlich, Vienna U of Techn., Austria
Progress report on strategies in rewriting

Salvador Lucas, Polytechnic U of Valencia, Spain
Computational restrictions of rewriting in functional programming

Vincent van Oostrom, Utrecht U, The Netherlands
Term rewriting systems