An algorithm to recognize echelon subgroups of a free group - Dario Ascari (2023)