@inproceedings{brain+:asp05-debugging,
  author = {Brain, Martin and Vos, Marina De},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/asp/BrainV05.bib},
  booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  editor = {Vos, Marina De and Provetti, Alessandro},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  timestamp = {Wed, 12 Feb 2020 16:44:21 +0100},
  title = {Debugging Logic Programs under the Answer Set Semantics},
  volume = {142},
  year = {2005},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAicGFwZXJzL2JyYWluK2FzcDA1LWRlYnVnZ2luZy1hLnBkZk8RAZQAAAAAAZQAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////xticmFpbithc3AwNS1kZWJ1Z2dpbmctYS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAEAAwAACiBjdQAAAAAAAAAAAAAAAAAGcGFwZXJzAAIAQS86VXNlcnM6Z2FtYmxpbjI6c3JjOmJ1aWxkLWJpYjpwYXBlcnM6YnJhaW4rYXNwMDUtZGVidWdnaW5nLWEucGRmAAAOADgAGwBiAHIAYQBpAG4AKwBhAHMAcAAwADUALQBkAGUAYgB1AGcAZwBpAG4AZwAtAGEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAD9Vc2Vycy9nYW1ibGluMi9zcmMvYnVpbGQtYmliL3BhcGVycy9icmFpbithc3AwNS1kZWJ1Z2dpbmctYS5wZGYAABMAAS8AABUAAgAP//8AAAAIAA0AGgAkAEkAAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAAB4Q==},
  bdsk-url-1 = {http://ceur-ws.org/Vol-142/page141.pdf}
}