DBLP Record 'journals/jar/BergerSS01'

BibTeX

@article{DBLP:journals/jar/BergerSS01,
  author    = {Ulrich Berger and
               Helmut Schwichtenberg and
               Monika Seisenberger},
  title     = {The Warshall Algorithm and Dickson?s Lemma: Two Examples
               of Realistic Program Extraction},
  journal   = {J. Autom. Reasoning},
  volume    = {26},
  number    = {2},
  year      = {2001},
  pages     = {205-221},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}