Regular expression pattern matching for XML.

Haruo Hosoya, Benjamin C. Pierce

Browse the full POPL paper archive.