The following publications are possibly variants of this publication:
- Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order LogicHairui Jia, Yi Liu, Yang Xu. iske 2015: 21-25 [doi]
- alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic SystemWeitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu. iske 2015: 89-93 [doi]
- alpha-Resolution principle based on first-order lattice-valued logic LF(X)Yang Xu, Da Ruan, Etienne E. Kerre, Jun Liu. isci, 132(1-4):221-239, 2001. [doi]
- Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued LogicYang Xu 0001, Jun Liu 0001, Xingxing He, Xiaomei Zhong, Shuwei Chen. ijcisys, 11(1):384-401, 2018. [doi]
- alpha-Resolution Principle Based On An Intermediate Element Lattice-Valued Propositional LogicDan Meng, Yang Xu. jcis 2002: 89-91
- alpha-Resolution principle based on lattice-valued propositional logic LP(X)Yang Xu, Da Ruan, Etienne E. Kerre, Jun Liu. isci, 130(1-4):195-223, 2000.
- Determination of α-resolution in lattice-valued first-order logic LF(X)Yang Xu, Jun Liu, Da Ruan, Xiaobing Li. isci, 181(10):1836-1862, 2011. [doi]
- ::::alpha::::-Satisfiability and ::::alpha::::-Lock Resolution for a Lattice-Valued Logic LP(X)Xingxing He, Yang Xu, Yingfang Li, Jun Liu, Luis Martínez, Da Ruan. HAIS 2010: 320-327 [doi]
- alpha-resolution method for a lattice-valued first-order logicXingxing He, Yang Xu, Jun Liu, Da Ruan. eaai, 24(7):1274-1280, 2011. [doi]