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