@Article{Mer53,
    Author       = "Meredith, C.A.",
    Year         = "1953",
    Title        = "{Single Axioms for the Systems (C,N), (C,0), and (A,N) of
                    the Two-valued Propositional Calculus}",
    Journal      = "Journal of Computing Systems",
    Volume       = "1",
    Pages        = "155-164",
    Comment      = "TPTPRef"
}