Redirecting to https://leafac.com/publications/relative-store-fragments-for-singleton-abstraction.pdf