Rizkallah, C. (2013). An Axiomatic Characterization of the Single-source Shortest Path Problem. Archive of Formal Proofs.