An algorithm for finding a basis of the fixed point subgroup of an automorphism of a free group. - Oleg Bogopolski; Olga Maslakova (Int. J. Algebra Comput., 2016)