Presentations tagged Shared Disjoint Heaps