@proceedings{conf/csl/1998,
  title = "{Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings}",
  year = "1999",
  editor = "Georg Gottlob and Etienne Grandjean and Katrin Seyr",
  isbn = "3-540-65922-6",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1584",
}