%0 Journal Article %A Kai-Uwe Bux %A Mikhail Ershov %A Andrei S. Rapinchuk %T The congruence subgroup property for Aut $F_2$: A group-theoretic proof of Asada’s theorem %J Groups, geometry, and dynamics %D 2011 %P 327-353 %V 5 %N 2 %U http://geodesic.mathdoc.fr/articles/10.4171/ggd/130/ %R 10.4171/ggd/130 %F 10_4171_ggd_130