A reduction algorithm meeting users' requirements.

From MaRDI portal
Publication:1850684