@incollection{TEMP:coll/lmbs/SchaubSV14,
  author = {Schaub, Torsten and Siegel, Anne and Videla, Santiago},
  title = {Reasoning on the response of logical signaling networks with Answer Set Programming},
  booktitle = {Logical Modeling of Biological Systems},
  pages = {49--92},
  publisher = {John Wiley \& sons},
  year = {2014}
}