On the inclusion properties for multi-level cache hierarchies | IEEE Conference Publication | IEEE Xplore