Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories.

Wan J. Fokkink, Chris Verhoef

Browse the full FASE paper archive.