Leporati, A., Mauri G., Zandron C., Paun G., & Pérez-Jiménez M. J.  (2009).??Uniform solutions to SAT and Subset Sum by spiking neural P systems.  Natural Computing. 8(4),?681-702.