Atto, M. H. Graph Inclusion and Matching Algorithms for Programs Manipulating Singly Linked Heaps. SJUOZ 2021, 9 (1), 30-37. https://doi.org/10.25271/sjuoz.2021.9.1.778.