@Unpublished{SPRFN,
    Author       = "SPRFN",
    Title        = "{The problem collection distributed with the SPRFN ATP
                    system}",
    Comment      = "TPTPRef"
}