一个基于规范变换的定理证明方法

在规范变换方法的基础上，给出了在有序类规范上的归纳定理的证明方法。该方法避免了Ｊｏｕａｎｎａｕｄ－Ｋｏｕｎａｌｉｓ方法中所谓归纳可归约性检查这一很费时的过程，并且终止性检查不依赖于合流性检查。