@techreport{RehfeldtKoch2020, author = {Daniel Rehfeldt and Thorsten Koch}, title = {Implications, conflicts, and reductions for Steiner trees}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {20-28}, language = {eng}, year = {2020} }