%0 Journal Article %1 journals/jar/ShenYY02 %A Shen, Yi-Dong %A Yuan, Li-Yan %A You, Jia-Huai %D 2002 %J J. Autom. Reason. %K dblp %N 1 %P 53-97 %T SLT-Resolution for the Well-Founded Semantics. %U http://dblp.uni-trier.de/db/journals/jar/jar28.html#ShenYY02 %V 28

@article{journals/jar/ShenYY02, added-at = {2020-09-02T00:00:00.000+0200}, author = {Shen, Yi-Dong and Yuan, Li-Yan and You, Jia-Huai}, biburl = {https://www.bibsonomy.org/bibtex/26fd05f1d8dca9a30a6dd1de1b8c7680c/dblp}, ee = {https://doi.org/10.1023/A:1020116927466}, interhash = {0a9d74e458e753bd1ae46e693f2ef5ff}, intrahash = {6fd05f1d8dca9a30a6dd1de1b8c7680c}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 1, pages = {53-97}, timestamp = {2020-09-09T13:34:35.000+0200}, title = {SLT-Resolution for the Well-Founded Semantics.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar28.html#ShenYY02}, volume = 28, year = 2002 }