Reduction of over-determined systems of differential equations - Maxim Zaytsev; Vyacheslav Akkerman (2012)