Reasoning In Boolean Networks by Wolfgang Kunz & Dominik Stoffel