Incremental NFA minimization. - Christian Bianchini; Alberto Policriti; Brian Riccardi; Riccardo Romanello (Theor. Comput. Sci., 2024)