TPTP Reference: Ste25-TU

@Misc{Ste25-TU,
    Author       = "Steen, A.",
    Year         = "2025",
    Title        = "{tptp-utils v1.4.2}",
    Version      = "v1.4.2",
    Publisher    = "Zenodo",
    DOI          = "{10.5281/zenodo.17205289}",
    Comment      = ""
}