Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: SLT-Resolution for the Well-Founded Semantics. J. Autom. Reason. 28(1): 53-97 (2002)