ERODE

ERODE#

Backward Boolean Equivalence Reduction of Boolean networks