[1]
M. Atto, “Graph Inclusion and Matching Algorithms for Programs Manipulating Singly linked Heaps”, sjuoz, vol. 9, no. 1, pp. 30-37, Mar. 2021.