P
Initializing...
§4, p. 336 — the lexicographic program has a solution, and every solution is nondominated · Prove2Me