Reasoning In Boolean Networks door Wolfgang Kunz & Dominik Stoffel