Hairui Jia, Yang Xu, Yi Liu 0005. Determination of 3-ary α-resolution in LP(X). In Shuwei Chen, Jie Hu 0007, Tianrui Li 0001, Luís Martínez 0001, Jun Liu, editors, 16th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2021, Chengdu, China, November 26-28, 2021. pages 138-146, IEEE, 2021. [doi]
Abstract is missing.