Brass, et al.. Transformation-based Bottom-up Computation of the Well-founded Model. Springer Berlin Heidelberg, 1997, doi:10.1007/bfb0023807.