α-group resolution method based on lattice-valued propositional logic LP(X) | IEEE Conference Publication | IEEE Xplore