Transformation-Based Bottom-Up Computation of the Well-Founded Model.

Stefan Brass Ulrich Zukowski Burkhard Freitag Transformation-Based Bottom-Up Computation of the Well-Founded Model. 171-201 1996 conf/nmelp/1996 NMELP db/conf/nmelp/nmelp96.html#BrassZF96