查找： 关键词为 Knowledge representation Generalized binary-tree Parallel ordered inference procedure 的文献