Volume: Vol-4311 ICLP-WS-DC 2026 | Year: 2026

Paper: « ASPOCP_regular_04 | ASPOCP_regular_05 | ASPOCP_regular_06 »

Finding Counterexamples for External Equivalence: Preliminary Report

• Jorge Fandinno
• Jan Heuer
• Tomi Janhunen
• Javier Romero
• Torsten Schaub

64-75 PDF 10.83095/ceurws_04311_006