transformation of logic programs for the well-founded semantics, The Journal of Logic Programming (1993)

by H Seki, Unfoldfold