@phdthesis{Zukowski2001, author = {Ulrich Zukowski}, title = {Flexible Computation of the Well-Founded Semantics of Normal Logic Programs}, school = {Universit{\"a}t Passau}, year = {2001}, }