On an algorithm to decide whether a free group is a free factor of another Pedro V. Silva and Pascal Weil RAIRO-Theor. Inf. Appl., 42 2 (2008) 395-414 Published online: 20 December 2007 DOI: 10.1051/ita:2007040