@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      = ""
}

@Unpublished{ANL,
    Author       = "Argonne National Laboratory",
    Title        = "{Argonne National Laboratory Problem Library}",
    Note         = "Available by anonymous ftp from info.msc.anl.gov, Maths
                    and Computer Science Division, Argonne National
                    Laboratory, Argonne, IL.",
    Comment      = "TPTPRef"
}