arXiv 2000-06-21 EN Verifying Termination of General Logic Programs with Concrete Queries Shen, Yi-Dong · Yuan, Li-Yan · You, Jia-Huai
arXiv 2000-02-27 EN SLT-Resolution for the Well-Founded Semantics Shen, Yi-Dong · Yuan, Li-Yan · You, Jia-Huai
