M. Syzdykov, «Local Search in Non-deterministic Finite Automata with Extensions», atcs, вып. 3, сс. 24–28, сен. 2021.