Symbolic Computation of Differential Equivalences (2016)

by Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin