On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations. - Veronika Treumova; Dmitry A. Lyakhov; Dominik L. Michels (CoRR, 2024)