@article {2111,
	title = {P systems based computing polynomials: design and formal verification},
	journal = {Natural Computing},
	volume = {15},
	year = {2016},
	pages = {591{\textendash}596},
	doi = {https://doi.org/10.1007/s11047-016-9577-y},
	url = {https://link.springer.com/article/10.1007\%2Fs11047-016-9577-y},
	author = {Weitao Yuan and Gexiang Zhang and Mario J. P{\'e}rez-Jim{\'e}nez and Tao Wang and Zhiwei Huang}
}
