Sancho-Caparrini, F., & Pérez-Jiménez M. J.  (2003).??Verification of non deterministic transition P systems solving SAT problem .  (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing.  291-304.