{Ob15, <br>AUTHOR = {Oberhauser, Jonas},<br>TITLE = {A Simpler Reduction Theorem for x86-TSO},<br>YEAR = {2015},<br>BOOKTITLE = {7th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'15)}, <br>EDITOR = {Gurfinkel, A. and Seshia, S. A.},<br>}