BrassDFZ01'

BibTeX

@article{DBLP:journals/tplp/BrassDFZ01,
  author    = {Stefan Brass and
               J{\"u}rgen Dix and
               Burkhard Freitag and
               Ulrich Zukowski},
  title     = {Transformation-based bottom-up computation of the well-founded
               model},
  journal   = {TPLP},
  volume    = {1},
  number    = {5},
  year      = {2001},
  pages     = {497-538},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}