TY - RPRT TI - Algorithmic proof of Barnette's Conjecture AU - I. Cahit PY - 2009 UR - https://arxiv.org/abs/0904.3431 ID - 0904.3431 ER -