@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},}