@inproceedings{shlyakhter+:ase03,
  author = {Shlyakhter, I. and Seater, R. and Jackson, D. and Sridharan, M. and Taghdiri, M.},
  booktitle = {18th {IEEE} International Conference on Automated Software Engineering, 2003. Proceedings.},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  publisher = {{IEEE} Comput. Soc},
  title = {Debugging overconstrained declarative models using unsatisfiable cores},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAdcGFwZXJzL3NobHlha2h0ZXIrYXNlMDMtYS5wZGZPEQF+AAAAAAF+AAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8Wc2hseWFraHRlcithc2UwMy1hLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAABAAMAAAogY3UAAAAAAAAAAAAAAAAABnBhcGVycwACADwvOlVzZXJzOmdhbWJsaW4yOnNyYzpidWlsZC1iaWI6cGFwZXJzOnNobHlha2h0ZXIrYXNlMDMtYS5wZGYADgAuABYAcwBoAGwAeQBhAGsAaAB0AGUAcgArAGEAcwBlADAAMwAtAGEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASADpVc2Vycy9nYW1ibGluMi9zcmMvYnVpbGQtYmliL3BhcGVycy9zaGx5YWtodGVyK2FzZTAzLWEucGRmABMAAS8AABUAAgAP//8AAAAIAA0AGgAkAEQAAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAABxg==},
  bdsk-url-1 = {https://doi.org/10.1109%2Fase.2003.1240298},
  bdsk-url-2 = {https://doi.org/10.1109/ase.2003.1240298}
}