@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} }