Geoff Sutcliffe, David A. Plaisted. Management of the TPTP Problem Set. In Martin Suda 0001, Sarah Winkler, editors, Proceedings of the Third International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2021, Virtual Event, July 16, 2021. pages 1, 2021. [doi]
Abstract is missing.