Algorithm 876

From MaRDI portal