(1)
Atto, M. Graph Inclusion and Matching Algorithms for Programs Manipulating Singly Linked Heaps. sjuoz 2021, 9, 30-37.