Practical regular expression constrained sequence alignment. - Lise Rommel Romero Navarrete; Guilherme P. Telles (Theor. Comput. Sci., 2020)