Volume: Vol-4228 CI-BD-SOQE 2026 | Year: 2026

Paper: « short3 | short2 | short4 »

Multiple Definitions from a Single Resolution Proof (Extended Abstract)

• Friedrich Slivovsky

66-74 PDF