TPTP Reference: Lam84


@Article{Lam84,
    Author       = "Lam, T.",
    Year         = "1984",
    Title        = "{An Introduction to Real Algebra}",
    Journal      = "Rocky Mountain Journal of Mathematics",
    Volume       = "14",
    Number       = "4",
    Pages        = "767-814",
    Comment      = ""
}