@InProceedings{Strecker:96a,
  author = 	 {Martin Strecker and Marko Luther and Matthias Wagner},
  title = 	 {Structuring and Using a Knowledge Base of Mathematical Concepts: A
                  Type-Theoretic Approach},
  booktitle = 	 {ECAI-96 Workshop on Representation of mathematical
                  knowledge},
  pages =        {23--26}
  year =	 1996
}