Pushdown-reduce: An algorithm for connectivity augmentation and poset covering problems
scientific article; zbMATH DE number 1977896