2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices | IEEE Conference Publication | IEEE Xplore