On alpha-satisfiability and its alpha-lock resolution in a finite lattice-valued propositional logic
X He, Jun Liu, Yang Xu, Luis Martínez, Da RuanOn alpha-satisfiability and its alpha-lock resolution in a finite lattice-valued propositional logic
Logic Journal of the IGPL, vol. 20. Oxford University Press, pp. 579-588, 2012.