TY - RPRT TI - Barnette's Conjecture AU - Lean Arts AU - Meike Hopman AU - Veerle Timmermans PY - 2013 UR - https://arxiv.org/abs/1310.5504 ID - 1310.5504 ER -