Jordi Levy, Jaume AgustÃ-Cullell. Bi-Rewrite Systems. Journal of Symbolic Computation, 22(3):279-314, 1996.
@article{LevyA96, title = {Bi-Rewrite Systems}, author = {Jordi Levy and Jaume AgustÃ-Cullell}, year = {1996}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/LevyA96}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {22}, number = {3}, pages = {279-314}, }