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