Computer Supported Formal Work: Towards a Digital Mathematical Assistant<pre>@incollection{SA-07-a,
  author        = {J\"org Siekmann and Serge Autexier},
  editor        = {Roman Matuszewski and Anna Zalewska},
  booktitle     = {From insight to proof - Jubilee Book for Andrzej Trybulec},
  title         = {Computer Supported Formal Work: Towards a Digital Mathematical Assistant},
  volume        = {10(23)},
  series        = {Studies in Logic, Grammar and Rhetoric},
  publisher     = {University of Bialystok},
  pages         = {231-248},
  month         = {july},
  year          = {2007},
}
</pre>