@article{ITA_2008__42_1_5_0, author = {C\'egielski, Patrick and Guessarian, Ir\`ene and Matiyasevich, Yuri}, title = {Tree inclusion problems}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {5--20}, publisher = {EDP-Sciences}, volume = {42}, number = {1}, year = {2008}, doi = {10.1051/ita:2007052}, zbl = {1149.68040}, mrnumber = {2382541}, language = {en}, url = {http://www.numdam.org/articles/10.1051/ita:2007052/} }