@Unpublished{ANL95-Math-URL,
    Author       = "Argonne National Laboratory",
    Year         = "1995",
    Title        = "{A Summary of New Results in Mathematics Obtained with
                    Argonne's Automated Deduction Software}",
    Note         = "http://www-unix.mcs.anl.gov/AR/new\_results/",
    Comment      = ""
}