Extension of the pool-adjacent-violators algorithm

From MaRDI portal
Publication:3135501