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