@InProceedings{Mulhern:2006:TSPE,
  author =	 {Anne Mulhern and Charles Fischer and Ben Liblit},
  title =	 {Tool Support for Proof Engineering},
  booktitle =	 {Workshop on User Interfaces for Theorem Provers},
  editor =	 {Serge Autexier and Christoph Benzm\"uller},
  address =	 {Seattle, Washington},
  month =	 aug # " 21",
  year =	 2006,
  publisher =	 {ENTCS}
}