@inproceedings{gottschlich:wttm:2010,
  author	= {Justin E. Gottschlich and Jeremy G. Siek and Manish Vachharajani},
  title		= {Proving Conflict Serializability for Full Invalidation},
  booktitle	= {Proceedings of the Second Workshop on the Theory of Transactional Memory},
  pdf		= {http://eces.colorado.edu/~gottschl/pubs/wttm2010_proof.pdf},
  year		= {2010},
  month		= {September},
}