For citations:

Kondratyev D.A. Logic for reasoning about bugs in loops over data sequences (IFIL). Modeling and Analysis of Information Systems. 2023;30(3):214-233. https://doi.org/10.18255/1818-1015-2023-3-214-233