TPTP Reference: Ste26

@Misc{Ste26,
    Author       = "Steen, A.",
    Year         = "2026",
    Title        = "{Scala TPTP Parser v1.7.4}",
    Version      = "v1.7.4",
    Publisher    = "Zenodo",
    DOI          = "{10.5281/zenodo.5578872}",
    Comment      = ""
}