A graph G is called k-choosable if k is a number such that if we give lists
of k colors to each vertex of G there is a vertex coloring of G where each
vertex receives a color from its own list no matter what the lists: are. I
n this paper, it is shown that each plane graph without 4-cycles is 4-choos
able. (C) 1999 Academic Press.