Naldi A, Remy E, Thieffry D, Chaouiya C.  2011.  Dynamically consistent reduction of logical regulatory graphs. Theoretical Computer Science. 412(21):2207-2218.