Elimination Techniques for Algorithmic Differentiation Revisited. - Uwe Naumann; Erik Schneidereit; Simon Märtens; Markus Towara (ACDA, 2023)