@proceedings{conf/kgc/1993,
  title = "Computational Logic and Proof Theory, Third Kurt G{\"o}del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings",
  year = "1993",
  booktitle = "{Kurt G{\"o}del Colloquium}",
  editor = "Georg Gottlob and Alexander Leitsch and Daniele Mundici",
  isbn = "3-540-57184-1",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "713",
}