Publications in 2004

Polynomial Interpretations with Negative Coefficients
Nao Hirokawa and Aart Middeldorp
Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Mathematical Computation (AISC 2004), Lecture Notes in Artificial Intelligence 3249, pp. 185 – 198, 2004.

New Completeness Results for Lazy Conditional Narrowing
Mircea Marin and Aart Middeldorp
Proceedings of the 6th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2004),   pp. 120 – 131, 2004.

Transformation Techniques for Context-Sensitive Rewrite Systems
Jürgen Giesl and Aart Middeldorp
Journal of Functional Programming 14(4), pp. 379 – 427, 2004.

Dependency Pairs Revisited
Nao Hirokawa and Aart Middeldorp
Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004), Lecture Notes in Computer Science 3091, pp. 249 – 268, 2004.