@article{gebser+:aicomm11,
  author = {Gebser, Martin and Kaufmann, Benjamin and Kaminski, Roland and Ostrowski, Max and Schaub, Torsten and Schneider, Marius},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  journal = {{AI Communications}},
  number = {2},
  pages = {107--124},
  publisher = {Citeseer},
  title = {Potassco: The Potsdam answer set solving collection},
  volume = {24},
  year = {2011},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAccGFwZXJzL2dlYnNlcithaWNvbW0xMS1hLnBkZk8RAXwAAAAAAXwAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////xVnZWJzZXIrYWljb21tMTEtYS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAEAAwAACiBjdQAAAAAAAAAAAAAAAAAGcGFwZXJzAAIAOy86VXNlcnM6Z2FtYmxpbjI6c3JjOmJ1aWxkLWJpYjpwYXBlcnM6Z2Vic2VyK2FpY29tbTExLWEucGRmAAAOACwAFQBnAGUAYgBzAGUAcgArAGEAaQBjAG8AbQBtADEAMQAtAGEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASADlVc2Vycy9nYW1ibGluMi9zcmMvYnVpbGQtYmliL3BhcGVycy9nZWJzZXIrYWljb21tMTEtYS5wZGYAABMAAS8AABUAAgAP//8AAAAIAA0AGgAkAEMAAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAABww==}
}