BibTex Format for Publications
@article { Sch2011,
author = {M. Gebser and R. Kaminski and B. Kaufmann and M. Ostrowskiand T. Schaub and M. Schneider},
title = {Potassco: The {P}otsdam Answer Set Solving Collection},
journal = {AI Communications},
year = {2011},
volume = {24},
number = {2},
pages = {107-124}
}