Atto, M. (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.