Volume: Vol-4241 PAAR 2026 | Year: 2026

Paper: « xpreface | paper1 | short1 »

The TPTP Format for Interpretations

• Geoff Sutcliffe
• Alexander Steen
• Pascal Fontaine
• Lydia Kondylidou

PDF