Transformation-based bottom-up computation of the well-founded model.

Stefan Brass Jürgen Dix Burkhard Freitag Ulrich Zukowski Transformation-based bottom-up computation of the well-founded model. 497-538 2001 1 TPLP 5 db/journals/tplp/tplp1.html#BrassDFZ01