Login / Signup

Formalization and abstract implementation of rewriting with nested rules.

Sergio AntoyStephen Johnson
Published in: PPDP (2004)
Keyphrases