Finding direct partition bijections by two-directional rewriting techniques
scientific article; zbMATH DE number 2092829