@inproceedings{DBLP:conf/ictai/GebserKSTV10,
title = {The BioASP Library: {ASP} Solutions for Systems Biology},
author = {Gebser, Martin and K{\"{o}}nig, Arne and Schaub, Torsten and Thiele, Sven and Veber, Philippe},
booktitle = {{ICTAI} {(1)}},
pages = {383--389},
publisher = {{IEEE} Computer Society},
year = {2010}
}