@InProceedings{gekoscthve10a,
  author =	 "M. Gebser and A. K{\"o}nig and T. Schaub and S. Thiele
                  and P. Veber",
  title =	 "The {BioASP} Library: {ASP} Solutions for Systems
                  Biology",
  pages =	 "383-389",
  crossref =	 "ictai10"
}
@Proceedings{ictai10,
  title =	 "Proceedings of the Twenty-second IEEE International
                  Conference on Tools with Artificial Intelligence (ICTAI'10)",
  booktitle =	 "Proceedings of the Twenty-second IEEE International
                  Conference on Tools with Artificial Intelligence (ICTAI'10)",
  editor =	 "E. Gr{\'e}goire",
  publisher =	 "IEEE Computer Society",
  year =	 2010
}