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

by S Brass, J Dix, B Freitag, U Zukowski
Venue:TPLP,