  By using Laurent graph polynomials instead of the usual ones, i.e. by
allowing negative powers of the variables, we simplify an existing method of
determining the Alon-Tarsi numbers of planar graphs.
