Inferring (Biological) Signal Transduction Networks via Transitive Reductions of Directed Graphs