Tree automata with one memory, set constraints and cryptographic protocols (0)

by H Comon, V Cortier
Venue:Theoretical Computer Science (TCS