TPTP Reference: MV+02

TPTP Reference: `MV+02`

@Article{MV+02,
    Author       = "McCune, W.W. and Veroff, R. and Fitelson, B. and Harris, K.
                    and Feist, A. and Wos, L.",
    Year         = "2002",
    Title        = "{Short Single Axioms for Boolean Algebra}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "29",
    Number       = "1",
    Pages        = "1-16",
    Comment      = "TPTPRef"
}