Andere Bezeichnung für Alpha-Beta-Cutoff.