@Inproceedings{EPTCS318.3, author = {Miller-Bakewell, Hector}, year = {2020}, title = {Finite Verification of Infinite Families of Diagram Equations}, editor = {Coecke, Bob and Leifer, Matthew}, booktitle = {{\rm Proceedings 16th International Conference on} Quantum Physics and Logic, {\rm Chapman University, Orange, CA, USA., 10-14 June 2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {318}, publisher = {Open Publishing Association}, pages = {27-52}, doi = {10.4204/EPTCS.318.3}, }