@Article{Wal93-JFM,
    Author       = "Walijewski, J.",
    Year         = "1993",
    Title        = "{Representation Theorem for Boolean Algebras}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "4",
    Number       = "1",
    Pages        = "45-50",
    Comment      = "TPTPRef,LOPCLSET"
}

@TechReport{Wal93,
    Author       = "Walsh, T.",
    Year         = "1993",
    Title        = "{The Arithmetic/Geometric Mean Theorem}",
    Number       = "Blue Book Note 828",
    Institution  = "University of Edinburgh, Mathematical Reasoning Group",
    Address      = "Edinburgh, United Kingdom",
    Comment      = "TPTPRef"
}