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