From SAT to SAT-UNSAT using P systems with dissolution rules | Publicación