Nahku Saidy, Hanna Siegfried, Stephan Schulz 0001, Geoff Sutcliffe. Cutting Down the TPTP Language (And Others). In Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret, editors, Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June-July, 2020 (Virtual). Volume 2752 of CEUR Workshop Proceedings, pages 134-147, CEUR-WS.org, 2020. [doi]
Abstract is missing.