Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Efficient Syntax-Driven Lumping of Differential Equations. In: Tools and Algorithms for the Construction and Analysis of Systems. 22nd International Conference, TACAS 2016. Lecture Notes in Computer Science (9636). Springer, pp. 93-111. ISBN 978-3-662-49673-2 (2016)