W. Herfort:
"Virtually Free pro-p Groups";
Talk: Tel Aviv University, School of Mathematics, Tel Aviv; 2000-02-15.
Virtually free pro p Groups act on a pro-p tree with finite vertex stabilizers. When G is finitely generated, an outline of the proof is
given.