@article{seater:ms2006,
  author = {Seater, Robert},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  month = sep,
  title = {Core extraction and non-example generation : debugging and understanding logical models},
  year = {2006},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAZcGFwZXJzL3NlYXRlcm1zMjAwNi1hLnBkZk8RAW4AAAAAAW4AAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////xJzZWF0ZXJtczIwMDYtYS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAEAAwAACiBjdQAAAAAAAAAAAAAAAAAGcGFwZXJzAAIAOC86VXNlcnM6Z2FtYmxpbjI6c3JjOmJ1aWxkLWJpYjpwYXBlcnM6c2VhdGVybXMyMDA2LWEucGRmAA4AJgASAHMAZQBhAHQAZQByAG0AcwAyADAAMAA2AC0AYQAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIANlVzZXJzL2dhbWJsaW4yL3NyYy9idWlsZC1iaWIvcGFwZXJzL3NlYXRlcm1zMjAwNi1hLnBkZgATAAEvAAAVAAIAD///AAAACAANABoAJABAAAAAAAAAAgEAAAAAAAAABQAAAAAAAAAAAAAAAAAAAbI=}
}