The graph expansion of an ordered groupoid

From MaRDI portal
Publication:2877005