@article{AMI_2023_57_a4,
     author = {Benedek Nagy and Khaled Abuhmaidan and Monther Aldwairi},
     title = {Logical conditions in programming languages: review, discussion and generalization},
     journal = {Annales mathematicae et informaticae},
     pages = {65--77},
     publisher = {mathdoc},
     volume = {57},
     year = {2023},
     doi = {10.33039/ami.2023.04.002},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.04.002/}
}