@article {1796,
	title = {Time-free solution to SAT problem using P systems with active membranes},
	journal = {Theoretical Computer Science},
	volume = {529},
	year = {2014},
	pages = {61-68},
	publisher = {Elsevier},
	address = {Amsterdam (The Netherlands)},
	issn = {0304-3975},
	url = {http://www.sciencedirect.com/science/article/pii/S0304397513008451},
	author = {Tao Song and Luis F. Mac{\'\i}as-Ramos and Linqiang Pan and Mario J. P{\'e}rez-Jim{\'e}nez}
}
