Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic | IEEE Conference Publication | IEEE Xplore