Rewrite-based verification of XML updates.

Florent Jacquemard, Michal Rusinowitch

Browse the full PPDP paper archive.