@Unpublished{SPRFN,
    Author       = "SPRFN",
    Title        = "{The problem collection distributed with the SPRFN ATP System}",
    Note         = "https://www.cs.unc.edu/Research/mi/mi-provers.html",
    Comment      = "TPTPRef"
}