We prove the conjecture of Jackson and Wormald that every 3-connected
planar graph has a closed walk visiting every vertex once or twice. Th
is strengthens Barnette's Theorem that every 3-connected planar graph
has a spanning tree with maximum degree at most 3. The result also hol
ds for 3-connected projective planar graphs. (C) 1994 Academic Press,
Inc.