A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics | Publicación