ATTO, M. Graph Inclusion and Matching Algorithms for Programs Manipulating Singly linked Heaps. Science Journal of University of Zakho, v. 9, n. 1, p. 30-37, 30 mar. 2021.