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