Kathie Cameron Jack Edmonds Benjamin Lévêque Frédéric Maffray Coloring vertices of a graph or finding a Meyniel obstruction http://arxiv.org/abs/cs/0509023 2005 CoRR abs/cs/0509023 db/journals/corr/corr0509.html#abs-cs-0509023 informal publication