On the Boolean Network Theory of Datalog$^\neg$

Open in new window