Carito Guziolowski, Santiago Videla, Federica Eduati, Sven Thiele, Thomas Cokelaer, Anne Siegel, Julio Saez-Rodriguez: Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming. Bioinform. 29(18): 2320-2326 (2013)