An algorithm for computing the kernel of a locally finite iterative higher derivation.