TY  - RPRT
TI  - SLT-Resolution for the Well-Founded Semantics
AU  - Yi-Dong Shen
AU  - Li-Yan Yuan
AU  - Jia-Huai You
PY  - 2001
UR  - https://arxiv.org/abs/cs/0002016
ID  - cs/0002016
ER  -