Return to Article Details Graph Inclusion and Matching Algorithms for Programs Manipulating Singly linked Heaps Download Download PDF