@Unpublished{ANL,
    Author       = "Argonne National Laboratory",
    Title        = "{The Argonne National Laboratory Problem Collection}",
    Note         = "{Previously available from http://info.mcs.anl.gov/}",
    Comment      = "TPTPRef"
}

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