Oana Andrei, Dorel Lucanu. Strategy-Based Proof Calculus for Membrane Systems. Electronic Notes in Theoretical Computer Science, 238(3):23-43, 2009. [doi]
@article{AndreiL09, title = {Strategy-Based Proof Calculus for Membrane Systems}, author = {Oana Andrei and Dorel Lucanu}, year = {2009}, doi = {10.1016/j.entcs.2009.05.011}, url = {http://dx.doi.org/10.1016/j.entcs.2009.05.011}, tags = {rule-based}, researchr = {https://researchr.org/publication/AndreiL09}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {238}, number = {3}, pages = {23-43}, }