Correctness of EIGRP Generalized for Arbitrary Routing Metrics and Policies. - João Luis Sobrinho; Ricardo Pestana Santos (ICNP, 2023)