@article{ITA_2008__42_2_395_0,
     author = {Silva, Pedro V. and Weil, Pascal},
     title = {On an algorithm to decide whether a free group is a free factor of another},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {395--414},
     publisher = {EDP-Sciences},
     volume = {42},
     number = {2},
     year = {2008},
     doi = {10.1051/ita:2007040},
     mrnumber = {2401269},
     zbl = {1146.20021},
     language = {en},
     url = {http://www.numdam.org/articles/10.1051/ita:2007040/}
}