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

Let R be a PID. This article gives an algorithm for computing the kernel of a locally finite iterative higher derivation of a finitely generated R-domain.