A fast algorithm for Stallings foldings over virtually free groups. - Samuel Cookson; Nicholas W. M. Touikan (Int. J. Algebra Comput., 2024)