A Lohner-type algorithm for control systems and ordinary differential inclusions
scientific article