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