algorithm - 寻求反向链接算法的参考

Question

我正在寻找通过反向链接进行推理的算法的精确描述。每当我搜索时，我只会找到从 Russell 和 Norvig 中提取的标准示例，没有对算法的正式描述。