Ordered Navigation on Multi-attributed Data Words.

Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma

Browse the full CONCUR paper archive.