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