@techreport{CoSch09,
AUTHOR = {Cohen, Ernie and Schirmer, Norbert},
TITLE = {A Better Reduction Theorem for Store Buffers},
YEAR = {2009},
EE = {http://arxiv.org/abs/0909.4637v1},
}