@article{Sutcliffe_2009,
    doi = {10.1007/s10817-009-9143-8},
    url = {https://doi.org/10.1007%2Fs10817-009-9143-8},
    year = {2009},
    month = {jul},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {43},
    number = {4},
    pages = {337--362},
    author = {Geoff Sutcliffe},
    title = {The {TPTP} Problem Library and Associated Infrastructure},
    journal = {Journal of Automated Reasoning}
}

@article{Sutcliffe_2009, doi = {10.1007/s10817-009-9143-8}, url = {https://doi.org/10.1007%2Fs10817-009-9143-8}, year = {2009}, month = {jul}, publisher = {Springer Science and Business Media {LLC}}, volume = {43}, number = {4}, pages = {337--362}, author = {Geoff Sutcliffe}, title = {The {TPTP} Problem Library and Associated Infrastructure}, journal = {Journal of Automated Reasoning} }