Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
ASE, 2003.
@inproceedings{ASE-2003-ShlyakhterSJST,
author = "Ilya Shlyakhter and Robert Seater and Daniel Jackson and Manu Sridharan and Mana Taghdiri",
booktitle = "{Proceedings of the 18th IEEE International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2003.1240298",
isbn = "0-7695-2035-9",
pages = "94--105",
publisher = "{IEEE Computer Society}",
title = "{Debugging Overconstrained Declarative Models Using Unsatisfiable Cores}",
year = 2003,
}