@article{2023arXiv230601597A,
    author = {Daneshvar Amrollahi and Ezio Bartocci and George Kenison and Laura Kovács and Marcel Moosbrugger and Miroslav Stankovič},
    doi = {https://dx.doi.org/10.48550/arxiv.2306.01597},
    title = {{(Un)Solvable Loop Analysis}},
    journal = {arXiv e-prints},
    year = {2023},
    month = {jun},
    eid = {arXiv:2306.01597},
    pages = {arXiv:2306.01597},
    archiveprefix = {arXiv},
    eprint = {2306.01597},
    primaryclass = {cs.PL},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2023arXiv230601597A},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    date-added = {2024-11-7 20:4:24 +0100},
    date-modified = {2025-10-13 8:31:44 +0100}
}

@article{2023arXiv230601597A, author = {Daneshvar Amrollahi and Ezio Bartocci and George Kenison and Laura Kovács and Marcel Moosbrugger and Miroslav Stankovič}, doi = {https://dx.doi.org/10.48550/arxiv.2306.01597}, title = {{(Un)Solvable Loop Analysis}}, journal = {arXiv e-prints}, year = {2023}, month = {jun}, eid = {arXiv:2306.01597}, pages = {arXiv:2306.01597}, archiveprefix = {arXiv}, eprint = {2306.01597}, primaryclass = {cs.PL}, adsurl = {https://ui.adsabs.harvard.edu/abs/2023arXiv230601597A}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, date-added = {2024-11-7 20:4:24 +0100}, date-modified = {2025-10-13 8:31:44 +0100} }