Finding direct partition bijections by two-directional rewriting techniques

From MaRDI portal
Publication:1877658