On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic

1. He, X.
2. Liu, J.
3. Xu, Y.
4. Martínez, L.
5. Ruan, D.