Partial list colorings

From MaRDI portal