@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@article{comon03TCS,
author = {Comon, Hubert and Cortier, V{\'e}ronique},
journal = {Theoretical Computer Science},
month = feb,
number = {1},
pages = {143-214},
publisher = {Elsevier Science Publishers},
title = {Tree Automata with One Memory, Set Constraints and
Cryptographic Protocols},
volume = {331},
year = {2005},
doi = {10.1016/j.tcs.2004.09.036},
}