@misc{indiciae110c1643f586,
  title = {Transformation-Based Bottom-Up Computation of the Well-Founded Model},
  author = {Stefan Brass and Juergen Dix and Burkhard Freitag and Ulrich Zukowski},
  year = {2000},
  url = {https://arxiv.org/abs/cs/0011013},
  note = {Source identifier: cs/0011013}
}