Higher-dimensional word problems with applications to equational logic

From MaRDI portal
Publication:685405