@InProceedings{SSSS:PAAR-2020,
    author =     {Nahku Saidy and Hanna Siegfried and Stephan Schulz
                  and Geoff Sutcliffe},
    year =       2020,
    title =      {{Cutting down the TPTP language (and others)}},
    editor =     {Pascal Fontaine and Philipp R{\"u}mmer and Sophie Tourret},
    booktitle =  {{Proceedings of the 7th Workshop on Practical
                  Aspects of Automated Reasoning}},
    place =      {Paris, France},
    OPTpages =      {},
    series =     {CEUR Workshop Proceedings},
    OPTnumber =     {},
    OPTurl =        {http://ceur-ws.org/Vol-1635/},
    note =       {(to appear)}
}