TPTP Reference: ML26-URL

@Unpublished{ML26-URL,
    Author       = "Machado, J.P. and Lesyna, L.",
    Year         = "",
    Title        = "{Enhanced LADR-2026}",
    Note         = "{https://prover9.org}",
    Comment      = ""
}