P
Initializing...
Theorem 4 (bounds): greedy backward/forward bounds on the optimal deletion problem (13) · Prove2Me