Equivalences in Euler-based diagram systems through normal forms

Andrew Fish, John Taylor 0001. Equivalences in Euler-based diagram systems through normal forms. LMS J. Comput. Math., 17(1):431-484, 2014. [doi]

Abstract

Abstract is missing.