Andrew Fish, John Taylor 0001. Equivalences in Euler-based diagram systems through normal forms. LMS J. Comput. Math., 17(1):431-484, 2014. [doi]
@article{Fish014,
title = {Equivalences in Euler-based diagram systems through normal forms},
author = {Andrew Fish and John Taylor 0001},
year = {2014},
doi = {10.1112/s1461157014000114},
url = {https://doi.org/10.1112/s1461157014000114},
researchr = {https://researchr.org/publication/Fish014},
cites = {0},
citedby = {0},
journal = {LMS J. Comput. Math.},
volume = {17},
number = {1},
pages = {431-484},
}