Automorphisms of ore extensions by skew derivations

Let R be a prime ring and δ a σ-derivation of R, where σ is an automorphism of R. Our aim (Theorem 1) is to determine any automorphism S of Rt;σ,δ] satisfying S(A)?R for a one-sided ideal A≠0 of R by dropping the assumption t∈Rt;σ,δ]. As an application, if R is a domain, it is shown that any X-inner automorphism of Rt;σ,δ] stabilizes R.