@InProceedings{Schulz:CADE-WS98,
  author = 	 {S. Schulz},
  title = 	 {{Term Space Mapping for DISCOUNT}},
  booktitle = 	 {Proc. of the CADE-15 Workshop on {\em Using AI
                  methods in Deduction}, Lindau},
  editor =	 {J. Denzinger and B. Spencer},
  year =	 {1998},
}