Logic Integer Programming Models for Signaling Networks. - Utz-Uwe Haus; Kathrin Niermann; Klaus Truemper; Robert Weismantel (J. Comput. Biol., 2009)