DBLP Record 'journals/corr/cs-LO-0011013'

BibTeX

@article{DBLP:journals/corr/cs-LO-0011013,
  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   = {CoRR},
  volume    = {cs.LO/0011013},
  year      = {2000},
  ee        = {http://arxiv.org/abs/cs.LO/0011013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}