Debugging overconstrained declarative models using unsatisfiable cores (0)

by I Shlyakhter, R Seater, D Jackson, M Sridharan, M Taghdiri
Venue:In Proc. ASE’03