@inproceedings{memocode05-ali,
  author = {Ali Sezgin and Ganesh Gopalakrishnan},
  title = {On the Decidability of Shared Memory Consistency Verification},
  booktitle = {{MEMOCODE}: Methods and Models for CoDesign},
  year = {2005},
  month = jul,
  pages = {199-208}
}