Dynamic destinations: A method for removing redundant operations in the front algorithm

From MaRDI portal
Publication:4153545