1989'

@proceedings{DBLP:conf/ershov/1989,
  editor    = {Albert R. Meyer and
               Michael A. Taitslin},
  title     = {Logic at Botik '89, Symposium on Logical Foundations of
               Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989,
               Proceedings},
  booktitle = {Logic at Botik},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {363},
  year      = {1989},
  isbn      = {3-540-51237-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}