On the Universality and Non-Universality of Spiking Neural P Systems With Rules on Synapses | IEEE Journals & Magazine | IEEE Xplore