@Article{ bradixfrezuk99, author = {Stefan Brass and J\"{u}rgen Dix and Burkhardt Freitag and Ulrich Zukowski}, title = {Transformation-Based Bottom-Up Computation of the Well-Founded Model}, journal = {Theory and Practice of Logic Programming}, year = {2001}, volume = {1}, number = {5}, pages = {497--538} }