@InProceedings{Strecker:97a,
  author =       {Martin Strecker and Maria Sorea},
  title =        {Integrating an Equality Prover into a Software Development
		 System based on Type Theory},
  booktitle =    {Proceedings KI'97},
  editor =       {G. Brewka and Ch. Habel and B. Nebel},
  year =         1997,
  publisher =    {Springer LNAI 1303},
  pages =        {147--158}