Extension of the pool-adjacent-violators algorithm (Q3135501)

From MaRDI portal