M. H. Atto, “Graph Inclusion and Matching Algorithms for Programs Manipulating Singly linked Heaps”, SJUOZ, vol. 9, no. 1, pp. 30–37, Mar. 2021.