Real Root Isolation of Spline Functions. JCM 2018, 26 (1), 69-75.