Minimization and equivalence in multi-valued logical models of regulatory networks. - Adam Streck; Therese Lorenz; Heike Siebert (Nat. Comput., 2015)