Volume: Vol-4241 PAAR 2026 | Year: 2026

Paper: « paper5 | short3 | short4 »

Case Study: Saturations as Explicit Models in Equational Theories

• Mikoláš Janota
• Michael Rawson
• Stephan Schulz

PDF