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

Paper: « abstract6 | short1 | paper1 »

An Algorithm for Existential Boolean Unification with Predicates (Extended Abstract)

• Fabian Achammer
• Stefan Hetzl

7-14 PDF