Text this: Logical consequence as a tool for qualitative analysis of Boolean networks.