An efficient algorithm for finding a basis of the fixed point subgroup   of an automorphism of a free group
  We prove that for any automorphism $\alpha$ of a free group F of finite rank, one can efficiently compute a basis of the fixed point subgroup Fix(\alpha). 
Oleg Bogopolski, Olga Maslakova
math.GR