@inproceedings{TEMP:conf/sat/KaufmannSS12,
  author = {Kaufmann, Benjamin and Schaub, Torsten and Schneider, Marius},
  title = {clasp, claspfolio, aspeed: Three Solvers from the Answer Set Solving Collection {P}otassco},
  pages = {17--19},
  booktitle = {SAT Challenge},
  year = {2012},
  volume = {B-2012-2},
  publisher = {University of Helsinki}
}