Labeled search trees and amortized analysis: Improved upper bounds for NP-hard problems
scientific article; zbMATH DE number 5013754