A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation.

Kiyoshi Akama, Ekawit Nantajeewarawat

Browse the full IC3K paper archive.