@PhDThesis{Ale95,
    Author       = "Alexander, G.",
    Year         = "1995",
    Title        = "{Proving First-Order Equality Theorems with
                    Hyper-Linking}",
    School       = "University of North Carolina at Chapel Hill",
    Address      = "Chapel Hill, USA",
    Comment      = "TPTPRefForResults,TPTPCite,TPTPData"
}