[1]
Atto, M. 2021. Graph Inclusion and Matching Algorithms for Programs Manipulating Singly linked Heaps. Science Journal of University of Zakho. 9, 1 (Mar. 2021), 30-37. DOI:https://doi.org/10.25271/sjuoz.2021.9.1.778.