Atto, M. H. (2021). Graph Inclusion and Matching Algorithms for Programs Manipulating Singly linked Heaps. Science Journal of University of Zakho, 9(1), 30–37. https://doi.org/10.25271/sjuoz.2021.9.1.778