@第{zbMATH01774105条，作者={Sessa，Maria I.}，标题={通过基于相似性的{SLD}分辨率进行近似推理。}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={275}，数字={1-2}，页码={389--426}，年份={2002}，语言={英语}，DOI={10.1016/S0304-3975（01）00188-8}，关键词={68N17}，zbMATH={1774105}，Zbl={1051.68045}}