@Proceedings{BRICS-NS-98-8,
  title = 	 "Proceedings of the 1998 APPSEM Workshop on
		  Normalization by Evaluation, {NBE~'98}, {\em (Gothenburg,
		  Sweden, May 8--9, 1998)}",
  booktitle = 	 "Proceedings of the 1998 APPSEM Workshop on
		  Normalization by Evaluation, {NBE~'98}, {\em (Gothenburg,
		  Sweden, May 8--9, 1998)}",
  year = 	 1998,
  editor = 	 "Danvy, Olivier and Dybjer, Peter",
  number = 	 "NS-98-8",
  series = 	 "Note Series",
  organization = "BRICS",
  address = 	 daimi,
  month = 	 may,
  OPTvolume = 	 "",
  OPTpublisher = "",
  OPTnote = 	 "",
  OPTabstract =  "",
  OPTlinkhtmlabs = "",
  OPTcomment = 	 "",
  OPTlinkdvi = 	 "",
  OPTlinkps = 	 "",
  OPTlinkpdf = 	 ""
}