1983'

@proceedings{DBLP:conf/lam/1983,
  editor    = {Egon B{\"o}rger and
               Gisbert Hasenjaeger and
               Dieter R{\"o}dding},
  title     = {Logic and Machines: Decision Problems and Complexity, Proceedings
               of the Symposium "Rekursive Kombinatorik" held from May
               23-28, 1983 at the Institut f{\"u}r Mathematische Logik
               und Grundlagenforschung der Universit{\"a}t M{\"u}nster/Westfalen},
  booktitle = {Logic and Machines},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {171},
  year      = {1984},
  isbn      = {3-540-13331-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}