TY - RPRT TI - Reducibility in the Four-Color Theorem AU - Neil Robertson AU - Daniel P. Sanders AU - Paul Seymour AU - Robin Thomas PY - 2014 UR - https://arxiv.org/abs/1401.6481 ID - 1401.6481 ER -