BibTex Format for Publications
@inproceedings { Sch2012,
author = {B. Kaufmann and T. Schaub and M. Schneider},
title = {clasp, claspfolio, aspeed: Three Solvers from the AnswerSet Solving Collection {P}otassco},
booktitle = {Proceedings of {SAT} Challenge 2012: Solver and BenchmarkDescriptions},
year = {2012},
note = {Series:Department of Computer Science Series of Publications B},
pages = {17-19}
}