@string{brics =	"{BRICS}"}
@string{daimi =	"Department of Computer Science, University of Aarhus"}
@string{iesd  =	"Department of Computer Science, Institute
		  of Electronic Systems, Aalborg University"}
@string{rs    =	"Research Series"}
@string{ns    =	"Notes Series"}
@string{ls    =	"Lecture Series"}
@string{ds    =	"Dissertation Series"}

@proceedings{BRICS-NS-97-1,
  title = 	 "Preliminary Proceedings of the Annual
                  Conference of the European Association for
                  Computer Science Logic, CSL~'97 {\em(Aarhus,
                  Denmark, August 23--29, 1997)}",
  year = 	 1997,
  editor = 	 "Nielsen, Mogens and Thomas, Wolfgang",
  number = 	 "NS-97-1",
  series = 	 "Notes Series",
  address = 	 "Department of Computer Science, University of
                  Aarhus",
  month = 	 aug,
  organization = "{BRICS}",
  note = 	 "vi+432~pp",
  abstract = 	 ""
}