Return to Article Details From Hyperedge Replacement to Separation Logic and Back Download Download PDF