1997proof'

@proceedings{DBLP:conf/dagstuhl/1997proof,
  editor    = {Ernst W. Mayr and
               Hans J{\"u}rgen Pr{\"o}mel and
               Angelika Steger},
  title     = {Lectures on Proof Verification and Approximation Algorithms.
                (the book grow out of a Dagstuhl Seminar, April 21-25,
               1997)},
  booktitle = {Lectures on Proof Verification and Approximation Algorithms},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1367},
  year      = {1998},
  isbn      = {3-540-64201-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}