Many of the papers citing Stallings paper A topological proof of Grushko's theorem on free products are using the binding tie argument. The ones I found are the following.
- Heil [1972] On Kneser’s conjecture for bounded 3-manifolds
- Feustel [1972] A splitting theorem for closed orientable 3-manifolds
- Bowditch [1999] Connectedness properties of limit sets
- Bellettini, Paolini, Wang [2021] A complete invariant for closed surfaces in the three-sphere