Rewrite Closure and CF Hedge Automata.

Florent Jacquemard, Michal Rusinowitch

Browse the full LATA paper archive.