ATTO, M. H. Graph Inclusion and Matching Algorithms for Programs Manipulating Singly linked Heaps. Science Journal of University of Zakho, [S. l.], v. 9, n. 1, p. 30–37, 2021. DOI: 10.25271/sjuoz.2021.9.1.778. Disponível em: https://sjuoz.uoz.edu.krd/index.php/sjuoz/article/view/778. Acesso em: 24 apr. 2024.