Atto, Muhsin. 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.