Atto MH. Graph Inclusion and Matching Algorithms for Programs Manipulating Singly linked Heaps. SJUOZ. 2021;9(1):30-37. doi:10.25271/sjuoz.2021.9.1.778