Theory of Semi-Feasible Algorithms by Lane A. Hemaspaandra, Lane Hemaspaandra & Leen Torenvliet