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