@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}
}