@inproceedings{WMM10,
  author = {Stephanie Weirich and Scott Owens and Peter Sewell and Zappa Nardelli, Francesco},
  title = {{Ott} or {Nott}},
  month = sep,
  year = 2010,
  note = {Abstract},
  booktitle = {5th ACM SIGPLAN Workshop on Mechanizing Metatheory}}