Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema.

Kiyoshi Akama, Ekawit Nantajeewarawat

Browse the full IC3K paper archive.