Alessio Conte, Pierluigi Crescenzi, Andrea Marino, Giulia Punzi: Enumeration of s-d Separators in DAGs with Application to Reliability Analysis in Temporal Graphs. MFCS 2020: 25:1-25:14