@article {,
	title = {Trading polarizations for bi-stable catalysts in P systems with active membranes},
	journal = {Lecture Notes in Computer Science},
	volume = {3365},
	year = {2005},
	pages = {373-388},
	publisher = {Springer},
	address = {Amsterdam, The Netherlands},
	abstract = {In the last time, several efforts have been made in order to remove polarizations of membranes from P systems with active membranes; the present paper is a contribution in this respect. In order to compensate the loss of power represented by avoiding polarizations, we use bi-stable catalysts. Polarizationless systems with active membranes which use bi-stable catalysts are proven to be computationally complete and able to solve efficiently NP-complete problems. In this paper we present a solution to SAT in linear time. In order to illustrate the presented solution, we also provide a simulation with CLIPS.
},
	isbn = {978-3-540-25080-7},
	issn = {0302-9743},
	url = {http://www.springerlink.com/content/dc6hae6hbe6541vq/?p=742d49e299334301a36583e895d4c151\&pi=23},
	author = {Mario J. P{\'e}rez-Jim{\'e}nez and Francisco J. Romero-Campero}
}
