TY  - RPRT
TI  - Transformation-Based Bottom-Up Computation of the Well-Founded Model
AU  - Stefan Brass
AU  - Juergen Dix
AU  - Burkhard Freitag
AU  - Ulrich Zukowski
PY  - 2000
UR  - https://arxiv.org/abs/cs/0011013
ID  - cs/0011013
ER  -