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.