Truncated-degree-choosability of planar graphs | Synapse