@TechReport{Chong-word-alignment,
  author =	 {Stephen Chong},
  title =	 {Word Alignment of Proof Verbalizations Using Generative Statistical Models},
  institution =	 {Cornell University Computer Science Department},
  year =	 2002,
  number =	 {2002-1864},
  month =	 may
}