P
Initializing...
§2, proof of the Theorem, p. 544 — moving a job of $S$ to the end keeps the precedence constraints · Prove2Me