Alon, Y & David, C 2022, Using Graph Neural Networks for Program Termination . in ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering . Association for Computing Machinery (ACM), ESEC/FSE 2022, Queenstown, Singapore, 14/11/22 . https://doi.org/10.5281/zenodo.7083445