Eder00'

BibTeX

@inproceedings{DBLP:conf/birthday/Eder00,
  author    = {Elmar Eder},
  title     = {The Cut Role in Theorem Proving},
  booktitle = {Intellectics and Computational Logic},
  year      = {2000},
  pages     = {101-123},
  crossref  = {DBLP:conf/birthday/Bibel2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/birthday/Bibel2000,
  editor    = {Steffen H{\"o}lldobler},
  title     = {Intellectics and Computational Logic (to Wolfgang Bibel
               on the occasion of his 60th birthday)},
  booktitle = {Intellectics and Computational Logic},
  publisher = {Kluwer},
  series    = {Applied Logic Series},
  volume    = {19},
  year      = {2000},
  isbn      = {0-7923-6261-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}