@proceedings{conf/kgc/1997,
  title = "{Computational Logic and Proof Theory, 5th Kurt G{\"o}del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings}",
  year = "1997",
  booktitle = "Kurt G{\"o}del Colloquium",
  editor = "Georg Gottlob and Alexander Leitsch and Daniele Mundici",
  isbn = "3-540-63385-5",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1289",
}