Simplification and termination of strategies in rule-based languages.

Olivier Fissore, Isabelle Gnaedig, Hlne Kirchner

Browse the full PPDP paper archive.