Volume: Vol-4241 PAAR 2026 | Year: 2026

Paper: « paper2 | short2 | paper3 »

The TPTP Format for Clausal Connection Tableaux

• Geoff Sutcliffe
• Sean B. Holden
• Mantas Baksys

PDF