P

Initializing...

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