2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/66553We introduce a combinatorial version of Stallings-Bestvina-Feighn-Dunwoody folding sequences. We then show how they are useful in analyzing the solvability of the uniform subgroup membership problem for fundamental groups of graphs of groups. Applications include coherent right-angled Artin groups and coherent solvable groups.Final updated version, to appear in the International Journal of Algebra and ComputationGroup Theory20F10, 20F65text