Higher Dimensional Word Problem. - Albert Burroni (Category Theory and Computer Science, 1991)

Higher-Dimensional Word Problems with Applications to Equational Logic. - Albert Burroni (Theor. Comput. Sci., 1993)

Polygraphs: From Rewriting to Higher Categories. - Dimitri Ara; Albert Burroni; Yves Guiraud; Philippe Malbos; François Métayer; Samuel Mimram (CoRR, 2023)