BibTex Format for Publications
@article { Sch2015,
author = {H. Hoos and R. Kaminski and M. Lindauer and T. Schaub},
title = {aspeed: Solver Scheduling via Answer Set Programming},
journal = {Theory and Practice of Logic Programming},
year = {2015},
volume = {15},
pages = {117-142}
}