Computational commutative algebra for tight network reliability bounds | Publicación