TPTP Reference: BH+08

TPTP Reference: `BH+08`

@Article{BH+08,
    Author       = "Baaz, M. and Hetzl, S. and Leitsch, A. and Richter, C. and
                    Spohr, H.",
    Year         = "2008",
    Title        = "{CERES: An Analysis of F{\"u}rstenberg's Proof of the
                    Infinity of Primes}",
    Journal      = "Theoretical Computer Science",
    Volume       = "",
    Number       = "",
    Pages        = "",
    Comment      = "TPTPRef"
}