Rewriting Systems with Data.

Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu

Browse the full FCT paper archive.