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.