1: \begin{abstract}

2: In a seminal paper, Stallings introduced folding of morphisms of graphs.

3: One consequence of folding is the representation of finitely-generated subgroups 

4: of a finite-rank free group

5: as immersions of finite graphs.

6: Stallings's methods allow one to construct this representation algorithmically,

7: giving effective, algorithmic answers and proofs to classical questions about

8: subgroups of free groups.

9: Recently Dani--Levcovitz used Stallings-like methods to study subgroups 

10: of right-angled Coxeter groups, which act geometrically on CAT(0) cube complexes.

11: In this paper we extend their techniques 

12: to fundamental groups of non-positively curved cube complexes.

13: \end{abstract}

14: