@InProceedings{ThSo02,
  author = 	 {Frank Thei{\ss} and Volker Sorge},
  title = 	 {Automatic Generation of Algorithms and Tactics},
  booktitle =    {Calculemus 2002 --- 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning --- Work in Progress Papers},
  editor =       {Olga Caprotti and Volker Sorge},
  year =         2002,
  month =        {June 3-5},
  address =      {Marseille, France},
  pages =	 {74--75}
}