Atto, M. H. Graph Inclusion and Matching Algorithms for Programs Manipulating Singly Linked Heaps. SJUOZ 2021, 9, 30-37.