Universal rewriting in constrained memories | IEEE Conference Publication | IEEE Xplore