Xingxing He, Jun Liu, Yang Xu, Luis Martínez, Da Ruan. α-lock resolution in a finite lattice-valued propositional logic. Logic Journal of the IGPL, 20(3):579-588, 2012. [doi]
@article{HeLXMR12, title = {α-lock resolution in a finite lattice-valued propositional logic}, author = {Xingxing He and Jun Liu and Yang Xu and Luis Martínez and Da Ruan}, year = {2012}, doi = {10.1093/jigpal/jzr007}, url = {http://dx.doi.org/10.1093/jigpal/jzr007}, researchr = {https://researchr.org/publication/HeLXMR12}, cites = {0}, citedby = {0}, journal = {Logic Journal of the IGPL}, volume = {20}, number = {3}, pages = {579-588}, }