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

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