Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming. (November 2016)