TPTP Reference: ANL
@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"
}