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]
No references recorded for this publication.
No citations of this publication recorded.