@article {2190,
	title = {P systems based computing polynomials with integer coefficients: Design and formal verification},
	journal = {IEEE Transactions on NanoBioscience},
	year = {2018},
	url = {https://ieeexplore.ieee.org/document/8360137/},
	author = {Ming Zhu and Gexiang Zhang and Qiang Yang and Haina Rong and Weitao Yuan and Mario J. P{\'e}rez-Jim{\'e}nez}
}
