ASP application in the Bioinformatics Journal 2013-07-01 Our first ASP application published in the Bioinformatics Journal Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming