On an algorithm to decide whether a free group is a free factor of another (0)

by P Silva, P Weil
Venue:RAIRO - Theoretical Informatics and Applications 42 (2008