SLS-resolution without floundering

SLS resolution is an abstract query answering procedure for computing the well-founded semantics of normal programs. It is incomplete due to floundering. We present an extension of SLS-resolution that avoids this problem.