Reduction mappings and control policies for intervention in Boolean Networks | IEEE Conference Publication | IEEE Xplore