Ideals of equations for elements in a free group and Stallings folding - Dario Ascari (2022)